src/Tools/jEdit/src/jEdit.props
changeset 50147 8d2251b9a200
parent 48717 622251b2b0f1
child 50299 f70b3712040f
--- a/src/Tools/jEdit/src/jEdit.props	Wed Nov 21 14:06:59 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Wed Nov 21 14:07:35 2012 +0100
@@ -182,6 +182,7 @@
 isabelle-output.width=412
 isabelle-readme.dock-position=bottom
 isabelle-session.dock-position=bottom
+isabelle-symbols.dock-position=bottom
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel