enso
enso copied to clipboard
Revert "Enable the Code Editor, with new apply-text-edits algo. (#9055)"
This reverts commit c811a5ae8ba4a512eb74ece2f9f6cb332c3bcdd4.
Pull Request Description
Important Notes
Checklist
Please ensure that the following checklist has been satisfied before submitting the PR:
- [ ] The documentation has been updated, if necessary.
- [ ] Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
- [ ] All code follows the Scala, Java, and Rust style guides. In case you are using a language not listed above, follow the Rust style guide.
- All code has been tested:
- [ ] Unit tests have been written where possible.
- [ ] If GUI codebase was changed, the GUI was tested when built using
./run ide build
.
This is an enormouse PR that you are trying to revert. It might be worth to try to address the issue instead first.
Since the original issue was successfully fixed and merged, this revert is no longer necessary.