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 colour preferences UI #31

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Currently there is no way to customise syntax colours in Isabelle theory editor (except for annotations).

The syntax colours are defined as preference values, but the defaults are currently hard-coded to match the ones in Isabelle/jEdit.

Add support in Eclipse Preferences UI to customise these colour/text style values.

See isabelle.eclipse.ui.preferences.IsabelleSyntaxClasses for syntax class definitions.

andriusvelykis commented 11 years ago

Implemented in dab7dc082cf7850b385f9c8385fc245f2f97889a

This includes syntax colour preferences and applying them to the open editors and views.

Furthermore, created a more Eclipse-like syntax scheme to be used with Isabelle, with the option to use jEdit one. Added documentation about this page.

Some more improvements are still needed but will be tracked in separate issues.

syntax-coloring-prefs