Stream: User interfaces devs & users

Topic: CoqIDE doesn't blend well with Ubuntu dark theme


view this post on Zulip 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

view this post on Zulip 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: Aug 11 2022 at 02:03 UTC