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.
default docking of sidekick and isabelle-state;
authorwenzelm
Sat, 20 Dec 2008 17:40:30 +0100
changeset 34423 ec74cd63f7cb
parent 34422 d5a41da986c3
child 34424 c880492754d0
default docking of sidekick and isabelle-state;
src/Tools/jEdit/dist-template/properties/jedit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Sat Dec 20 17:16:29 2008 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Sat Dec 20 17:40:30 2008 +0100
@@ -21,3 +21,5 @@
 view.gutter.fontsize=12
 view.middleMousePaste=true
 view.showToolbar=false
+sidekick-tree.dock-position=right
+isabelle-state.dock-position=bottom
isabelle