Zulip Chat Archive

Stream: general

Topic: syntax highlighting


view this post on Zulip Kevin Buzzard (Jun 25 2018 at 16:42):

William Stein says:

"Kevin - which of the modes listed here is closest to working for lean code?

https://codemirror.net/mode/index.html

I can modify an existing syntax highlighting mode to make it work properly..."

view this post on Zulip Kevin Buzzard (Jun 25 2018 at 16:48):

More details from someone else at cocalc:

view this post on Zulip Kevin Buzzard (Jun 25 2018 at 16:48):

"Regarding code editor syntax highlighting, I haven't found a good highlighting. Maybe we can create one for codemirror, though. Is there a simple language definition, where we for example can get a concise list of all keywords? I also checked what they are doing for that online live "lean" editor. This interface is based on the "monaco" editor [1]. They seem to have written their own plugins for it. CoCalc doesn't use Monco, but CodeMirror, though."


Last updated: May 08 2021 at 03:17 UTC