search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

syntax colouring on dark background #66

Closed johnwickerson closed 11 years ago

johnwickerson commented 11 years ago

I have customised my main editor window to have a dark background, which means I have chosen the syntax colouring to use pale colours. Unfortunately, the "prover output" window is fixed at a white background, and uses the same syntax colouring scheme, which means the text doesn't show up! Would it be possible to make the prover window have a customisable background colour?

andriusvelykis commented 11 years ago

Thanks for reporting - fixed this now. The prover output colours are now inherited from preferences and are updated when preferences change.

This issue is part of #37 - some more preferences still need to be migrated from the editor to the output view.