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 preference previewer #54

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Implement a preview field in syntax colouring preferences. This would show users how their preference change would look before clicking Apply. Similar previewers are in Java syntax coloring preferences and elsewhere.

Further enhancement to supplement issue #31.