src/Tools/jEdit/src/jEdit.props
changeset 50299 f70b3712040f
parent 50147 8d2251b9a200
child 50306 b655d2d0406d
--- a/src/Tools/jEdit/src/jEdit.props	Fri Nov 30 21:28:35 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Nov 30 21:30:24 2012 +0100
@@ -181,7 +181,7 @@
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-readme.dock-position=bottom
-isabelle-session.dock-position=bottom
+isabelle-theories.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 line-end.shortcut=END
 line-home.shortcut=HOME