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

Underline style preference UI #53

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Support selecting underline style for Isabelle syntax classes. Currently it is only possible to select whether text is underlined.

For example, DIALOG_SELECTED used double-line underline.

Further enhancement to supplement issue #31.