src/Tools/jEdit/src/actions.xml

--- a/src/Tools/jEdit/src/actions.xml	Fri Nov 30 21:28:35 2012 +0100
+++ b/src/Tools/jEdit/src/actions.xml	Fri Nov 30 21:30:24 2012 +0100
@@ -2,9 +2,9 @@
 <!DOCTYPE ACTIONS SYSTEM "actions.dtd">
 
 <ACTIONS>
-	<ACTION NAME="isabelle.session-panel">
+	<ACTION NAME="isabelle.theories-panel">
 		<CODE>
-			wm.addDockableWindow("isabelle-session");
+			wm.addDockableWindow("isabelle-theories");
 		</CODE>
 	</ACTION>
 	<ACTION NAME="isabelle.syslog-panel">