Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
enable Symbols dockable by default;
authorwenzelm
Wed, 21 Nov 2012 14:07:35 +0100
changeset 50147 8d2251b9a200
parent 50146 03f38212442a
child 50148 b8cff6a8fda2
child 50149 aaf276a28551
child 50151 5f5e74365f14
enable Symbols dockable by default;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- 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
isabelle