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 highlighting in tooltips #36

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Tooltips are rendered in black without any syntax highlighting. Isabelle/jEdit 2013 supports syntax highlighting for tooltips.

Investigate the best way to display colours and fonts in the tooltips.

Also see how to do the dynamic-width formatting of tooltips (as in #35).

See isabelle.eclipse.ui.text.hover.IsabelleTextHover.