marc2332/valin Issues
enhancement: Search panel
Updatedenhancement: Git integration
Updatedenhancement: Settings
Closed 1enhancement: Themes
Updatedenhancement: Integrate CRDT
Updatedenhancement: Editor Minimap
Updatedtask: Organize code
Closed