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

Default keyboard shortcut for annotations #70

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Add a default keyboard shortcut for annotations (error/info) to trigger the tooltip display for the current line. This is akin to pressing F2 in Java editor - it will open current annotation in the tooltip display.

See Ruler Annotation Tooltip in shortcut key customisation.