Revert "Enable the Code Editor, with new apply-text-edits algo. (#9055)"

[farmaazon]

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.

[Frizi]

This is an enormouse PR that you are trying to revert. It might be worth to try to address the issue instead first.

[Frizi]

Since the original issue was successfully fixed and merged, this revert is no longer necessary.