Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned order of menu items;
authorwenzelm
Sat, 20 Dec 2008 18:25:15 +0100
changeset 34427 46aff93a5863
parent 34426 81f93e0f13b4
child 34428 d69fd18f37f9
tuned order of menu items;
src/Tools/jEdit/plugin/Isabelle.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/plugin/Isabelle.props	Sat Dec 20 18:17:39 2008 +0100
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat Dec 20 18:25:15 2008 +0100
@@ -27,11 +27,11 @@
 
 #menu actions
 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=isabelle.show-output isabelle.show-state isabelle.activate isabelle.show-scroller
-isabelle.show-output.label=Show Output
+plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-state isabelle.show-output isabelle.show-scroller
+isabelle.activate.label=Activate current buffer
 isabelle.show-state.label=Show State
+isabelle.show-output.label=Show Output
 isabelle.show-scroller.label=Show Scroller
-isabelle.activate.label=Activate current buffer
 
 #dockables
 isabelle-output.title=Isabelle Output
isabelle