diff -r db58490a68ac -r cbcccf2a0f6f src/Tools/jEdit/src/actions.xml
--- a/src/Tools/jEdit/src/actions.xml	Fri Sep 21 16:50:44 2012 +0200
+++ b/src/Tools/jEdit/src/actions.xml	Fri Sep 21 17:28:53 2012 +0200
@@ -22,9 +22,9 @@
 			wm.addDockableWindow("isabelle-output");
 		</CODE>
 	</ACTION>
-	<ACTION NAME="isabelle.output2-panel">
+	<ACTION NAME="isabelle.output1-panel">
 		<CODE>
-			wm.addDockableWindow("isabelle-output2");
+			wm.addDockableWindow("isabelle-output1");
 		</CODE>
 	</ACTION>
 	<ACTION NAME="isabelle.raw-output-panel">