Well, it's been a few months since I spun up CoqIDE locally, and last time I was still on macOS, having only recently switched to Ubuntu. So I just installed the latest CoqIDE on Ubuntu (on that same MacBook Air that I'm still using), opened it for the first time and copied over two simple Coq files from a Codewars challenge. I immediately noticed that the (default?) syntax highlighting in CoqIDE does not play too well with Ubuntu's dark theme, to say the least. Is there a way to use a different syntax highlighting, and if not, are there any plans to improve the integration between CoqIDE's syntax highlighting and Ubuntu's dark theme? I could switch to light/normal mode for the sake of CoqIDE or use another distro with a less heavily modified GNOME desktop (which CoqIDE looks great in), but IMO that would be a shame (for the former option, that is) as quite a few people would probably agree that Ubuntu 20.04 really shines with its dark theme.
Probably none of the CoqIDE maintainers is using Ubuntu, but all the colors in CoqIDE are configurable, so if you find a suitable combination, then maybe you could propose it as a CoqIDE theme that would be activated by default when using Ubuntu (I suppose this kind of thing is possible during the configure steps).
Last updated: Feb 09 2023 at 02:02 UTC