# HG changeset patch
# User wenzelm
# Date 1229793915 -3600
# Node ID 46aff93a586333ea6972cef077aab4052c2ec662
# Parent  81f93e0f13b40c01ae134c5bc7119af9f128f600
tuned order of menu items;

diff -r 81f93e0f13b4 -r 46aff93a5863 src/Tools/jEdit/plugin/Isabelle.props
--- 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