Removes legacy diff editor. (#191989)

* Removes legacy diff editor.

* Fixes CI

* Fixes CI
This commit is contained in:
Henning Dieterichs
2023-09-04 22:45:27 +02:00
committed by GitHub
parent b9e4141833
commit e0e970f76b
22 changed files with 57 additions and 4139 deletions

View File

@@ -151,5 +151,4 @@
"application.experimental.rendererProfiling": true,
"editor.experimental.asyncTokenization": true,
"editor.experimental.asyncTokenizationVerification": true,
"diffEditor.experimental.useVersion2": true,
}