Coqide 8.5: No syntax highlighting on Linux

Question

I installed Coqide 8.5 w/ nix. Unfortunately, the text is blakc in all panels; there\'s no syntax highlighting of any kind (otherwise, 8.5 seems a big improveme

Answer 1

I have libgtksourceview3.0-common installed but CoqIDE depends on libgtksourceview2.0-common. Installing the latter fixed it