Re: [isabelle] Dark jEdit color themes

On Thu, 17 May 2012, Aaron W.  Hsu wrote:

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.

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.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.