When I use the graphical debugger, some of the text is a color that isn’t very readable on my macbook:
To change it, I tried copying the library(dark) theme to a directory, changing everything that is blue to green (to test) and then:
:- use_module('/Test/mytheme.pl').
Which didn’t appear to change anything.
How do I change the theme to a custom one?
What I’d really like is to have a way to just change one color easily, if that is possible.
Thanks!