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.
dock "Theories" right, although it might obscure some control buttons;
authorwenzelm
Thu, 10 Jan 2013 13:15:05 +0100
changeset 50803 8a1ea6b00ace
parent 50802 7a7e8958b6ef
child 50804 4156a45aeb63
dock "Theories" right, although it might obscure some control buttons;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Thu Jan 10 13:02:36 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Jan 10 13:15:05 2013 +0100
@@ -183,7 +183,7 @@
 isabelle-output.width=412
 isabelle-readme.dock-position=bottom
 isabelle-symbols.dock-position=bottom
-isabelle-theories.dock-position=bottom
+isabelle-theories.dock-position=right
 isabelle.cancel-execution.label=Cancel execution
 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
 isabelle.check-buffer.label=Commence full checking
isabelle