# HG changeset patch
# User wenzelm
# Date 1353503255 -3600
# Node ID 8d2251b9a2003bcf7ad19cb3b5439247ba478382
# Parent  03f38212442a1cdd7508ed6c811dd4b5bc429cfb
enable Symbols dockable by default;

diff -r 03f38212442a -r 8d2251b9a200 src/Tools/jEdit/src/jEdit.props
--- 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