Email Gateway (Aug 18 2022 at 19:45): Email Gateway (Aug 18 2022 at 19:45):From: "Aaron W. Hsu" <arcfide@sacrideo.us>
I was playing with the EditorScheme plugin in Isabelle the other day trying
to get a darker color scheme, but I noticed that much of the text in
Isabelle did not follow what I expected. Instead, the highlighted text
inside of a quote remained black despite changes in the background colors
and other elements. This is in Isabelle 2012 RC2, but I have not tried any
of the others.
Is there a way to use a dark color scheme for Isabelle/jEdit? In particular
I like Solarized Dark or Zenburn.
Email Gateway (Aug 18 2022 at 19:55):From: Makarius <makarius@sketis.net>
Theming of Isabelle/jEdit is not very realistic at the moment. There are
three main sources of information for colors and font-styles:
* jEdit syntax highlight tables
* isabelle.css and isabelle-jedit.css from the Isabelle distribution
* hardwired colors in src/Tools/jEdit/src/isabelle_rendering.scala
All of this is fine-tuned to make colors coincide with jEdit defaults,
e.g. the typical Slava Pestov hues of blue in the source buffer and the
output window, say of 'print_statement'.
At some stage I would like to have only css specifications of the theme,
but it would then also be in conflict with such third party plugins.
Interestingly, the EditorScheme plugin seems to have its own workarounds
already: it "knows" about certain other plugins and then modifies their
respective properties.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC