[GH-ISSUE #134] Relocate to Monaco Editor #130

Open
opened 2026-03-03 19:15:34 +03:00 by kerem · 0 comments
Owner

Originally created by @NghiaTranUIT on GitHub (May 1, 2019).
Original GitHub issue: https://github.com/ProxymanApp/Proxyman/issues/134

Originally assigned to: @NghiaTranUIT on GitHub.

🐶 Brief

Monaco Editor from Microsoft is potentially new alternative for Code Mirror, which is too old and out of date. We have to move to new home since it's maintained by Microsoft team and powered to Visual Code.

Ref: https://microsoft.github.io/monaco-editor/index.html

👑 Criteria

  • Remove code Mirror
  • Integrate Monaco
  • Support Theme
  • Support Gutter
  • Multiple-search
  • Ruler line
Originally created by @NghiaTranUIT on GitHub (May 1, 2019). Original GitHub issue: https://github.com/ProxymanApp/Proxyman/issues/134 Originally assigned to: @NghiaTranUIT on GitHub. ## 🐶 Brief Monaco Editor from Microsoft is potentially new alternative for Code Mirror, which is too old and out of date. We have to move to new home since it's maintained by Microsoft team and powered to Visual Code. Ref: https://microsoft.github.io/monaco-editor/index.html ## 👑 Criteria - [ ] Remove code Mirror - [ ] Integrate Monaco - [ ] Support Theme - [ ] Support Gutter - [ ] Multiple-search - [ ] Ruler line
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starred/Proxyman#130
No description provided.