Donald Sebastian Leung (Oct 10 2020 at 11:01): Donald Sebastian Leung (Oct 10 2020 at 11:01):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.
Screenshot-from-2020-10-10-19-00-04.png
Screenshot-from-2020-10-10-19-00-11.png
Théo Zimmermann (Oct 12 2020 at 08:11):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: Oct 13 2024 at 01:02 UTC