MiniZincIDE icon indicating copy to clipboard operation
MiniZincIDE copied to clipboard

Feature request: Turn off syntax highlighting

Open PerMildner opened this issue 1 year ago • 0 comments

I find the colorful syntax highlighting in the IDE distracting and hard to read.

There are a few alternative "themes" to chose from in the IDE settings, but it would be nice with one plain black-and-white mode (white background, black text!).

Error markers should preferably continue to use color.

PerMildner avatar Apr 26 '23 10:04 PerMildner