| changeset 69770 | efb0e5332441 |
| parent 69762 | 58fb0d779583 |
| child 69772 | ae1ef77746b5 |
--- a/src/Tools/jEdit/src/jEdit.props Thu Jan 31 16:32:41 2019 +0100 +++ b/src/Tools/jEdit/src/jEdit.props Thu Jan 31 16:33:57 2019 +0100 @@ -189,7 +189,7 @@ insert-newline.shortcut= isabelle.antiquoted_cartouche.label=Make antiquoted cartouche isabelle-debugger.dock-position=floating -isabelle-documentation.dock-position=right +isabelle-documentation.dock-position=left isabelle-output.dock-position=bottom isabelle-output.height=174 isabelle-output.width=412