clarified docking layout, amending 9c2ca698690e;
authorwenzelm
Sun May 18 00:00:26 2014 +0200 (2014-05-18)
changeset 5698643be5818a45c
parent 56985 82c83978fbd9
child 56987 9b6628f29def
clarified docking layout, amending 9c2ca698690e;
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Fri May 16 19:14:00 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Sun May 18 00:00:26 2014 +0200
     1.3 @@ -188,7 +188,8 @@
     1.4  isabelle-output.height=174
     1.5  isabelle-output.width=412
     1.6  isabelle-query.dock-position=bottom
     1.7 -isabelle-simplifier-trace.dock-position=bottom
     1.8 +isabelle-simplifier-trace.dock-position=floating
     1.9 +isabelle-sledgehammer.dock-position=bottom
    1.10  isabelle-symbols.dock-position=bottom
    1.11  isabelle-theories.dock-position=right
    1.12  isabelle.complete.label=Complete Isabelle text