somebody1234 209f4deb3e CodeMirror highlighting (#8075) ... - Closes #8041 - Integrates parser with CodeMirror - Adds extensions builtin to CodeMirror - Highlight text matching the selection - Adds PoC CodeMirror extensions - Basic syntax highlighting - Code folding - Hover tooltips # Important Notes As there is currently no way to get the corresponding node based on a position, the hover tooltip currently iterates through every node in `graphSotre.nodes`. This is potentially VERY SLOW and should be changed eventually, or disabled completely until an efficient implementation is possible.		2023-10-16 14:04:43 +00:00
..
gui	Parser TS bindings (#7881)	2023-10-11 13:04:38 +00:00
gui2	CodeMirror highlighting (#8075)	2023-10-16 14:04:43 +00:00
ide-desktop	Drag and drop (#7987)	2023-10-16 12:07:30 +00:00