Tue, 15 Apr 2014 21:13:20 +0200 | wenzelm | more context-sensitivity; | file | diff | annotate |
Tue, 15 Apr 2014 12:45:16 +0200 | wenzelm | avoid conflict of Isabelle/jEdit popups with jEdit context menu; | file | diff | annotate |
Tue, 15 Apr 2014 11:26:17 +0200 | wenzelm | explicit menu action to complete word; | file | diff | annotate |
Tue, 15 Apr 2014 11:05:48 +0200 | wenzelm | common context menu for Isabelle/jEdit; | file | diff | annotate |