src/Tools/jEdit/src/jEdit.props
changeset 60749 f727b99faaf7
parent 60269 652a8e72cb75
child 60877 8d00ff5a052e
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Fri Jul 17 21:37:33 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Fri Jul 17 21:40:47 2015 +0200
     1.3 @@ -185,6 +185,7 @@
     1.4  home.shortcut=
     1.5  insert-newline-indent.shortcut=
     1.6  insert-newline.shortcut=ENTER
     1.7 +isabelle-debugger.dock-position=floating
     1.8  isabelle-documentation.dock-position=right
     1.9  isabelle-output.dock-position=bottom
    1.10  isabelle-output.height=174