search

theoremoon / satysfi.ml

https://satysfi.ml
Apache License 2.0
14 stars 0 forks source link

Adding syntax highlighting for SATySFi #3

Closed 515hikaru closed 4 years ago

515hikaru commented 4 years ago

First of all, thank you for your great work! I love it.

On the other hand, I would like to improve the editor. I think I need syntax highlighting.

How about using CodeMirror and defining SATySFi mode?

theoremoon commented 4 years ago

Hello.

It's my future work. I'm planning to use monaco editor and to define syntax theme for SATySFi. However it seems good too codemirror. I'll compare their pros and cons.

theoremoon commented 4 years ago

I'm introducing a very weak syntax highlighting with monaco in #10. Do you feel good @515hikaru ?

515hikaru commented 4 years ago

Great! I think this is fine because it's an editor with basic features. Thank you very much.