src/Tools/jEdit/dist-template/properties/jedit.props

 firstTime=false
 home.shortcut=
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
 isabelle-output.dock-position=bottom
-isabelle-protocol.dock-position=bottom
+isabelle-raw-output.dock-position=bottom
 isabelle.activate.shortcut=CS+ENTER
 line-end.shortcut=END
 line-home.shortcut=HOME
 mode.isabelle.sidekick.showStatusWindow.label=true
 print.font=IsabelleText