# HG changeset patch
# User wenzelm
# Date 1357820105 -3600
# Node ID 8a1ea6b00aced0a84e78a07bf5b01041dc6639f8
# Parent  7a7e8958b6ef1df8b9317b66e817ab803e868fa4
dock "Theories" right, although it might obscure some control buttons;

diff -r 7a7e8958b6ef -r 8a1ea6b00ace src/Tools/jEdit/src/jEdit.props
--- 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