src/Tools/jEdit/src/jEdit.props
changeset 61208 19118f9b939d
parent 60878 1f0d2bbcf38b
child 61218 04c769fe1cb5
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Mon Sep 21 14:56:10 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Mon Sep 21 14:56:55 2015 +0200
     1.3 @@ -193,6 +193,7 @@
     1.4  isabelle-query.dock-position=bottom
     1.5  isabelle-simplifier-trace.dock-position=floating
     1.6  isabelle-sledgehammer.dock-position=bottom
     1.7 +isabelle-state.dock-position=right
     1.8  isabelle-symbols.dock-position=bottom
     1.9  isabelle-theories.dock-position=right
    1.10  isabelle.complete-word.label=Complete word