src/Tools/jEdit/src/jEdit.props

 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-query.dock-position=bottom
 isabelle-simplifier-trace.dock-position=floating
 isabelle-sledgehammer.dock-position=bottom
+isabelle-state.dock-position=right
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
 isabelle.complete-word.label=Complete word
 isabelle.complete.label=Complete Isabelle text
 isabelle.complete.shortcut2=C+b