changeset 50299 | f70b3712040f |
parent 50147 | 8d2251b9a200 |
child 50306 | b655d2d0406d |
--- a/src/Tools/jEdit/src/jEdit.props Fri Nov 30 21:28:35 2012 +0100 +++ b/src/Tools/jEdit/src/jEdit.props Fri Nov 30 21:30:24 2012 +0100 @@ -181,7 +181,7 @@ isabelle-output.height=174 isabelle-output.width=412 isabelle-readme.dock-position=bottom -isabelle-session.dock-position=bottom +isabelle-theories.dock-position=bottom isabelle-symbols.dock-position=bottom line-end.shortcut=END line-home.shortcut=HOME