You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Port custom editor changes to release branch (#12222)
* Implement the changes necessary to use the new custom editor (#12188)
* Turn on custom editor again
* Fix copy problem
* Fix copy problem again
* Get undo/redo to work
* Some fixes for synching more than one editor
* Fix untitled. Fix timeouts
* fix command manager to not be used. Not necessary with temp path.
fix delete/insert commands to undo properly
* Fix functional test
* Add experiment
* Since package json is enabling proposed api, turn of notebooks with experiment
* Turn off proposed api
* Upgrade VS code to 1.45 so can use new api outside of insiders
* Update package.json dynamically
* Fix merge code to handle arrays
* Fix unit tests. Backup happens at the provider level now
* Fix hygiene
* Fix untitled to work for old provider too
* Some feedback and attempt to fix URI problem on linux/mac
* Review feedback
* Update changelog
* Remove news entry
0 commit comments