Hello, Our discussion about colors in why3 over the summer ended with the following suggestion from Andrei:
--- As a quick and ugly measure I would probably just hack /usr/share/gtksourceview-3.0/styles/classic.xml, which seems to be the default. --- Is there any hope for getting a better solution? I upgraded my server, and seem to have lost whatever I had done. If I use gedit on the server there are other styles available. Classic seems to be particularly unsuitable for a dark background. julia _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
