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

 encoding.opt-out.x-windows-iso2022jp=true
 encodingDetectors=BOM XML-PI buffer-local-property
 fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
 firstTime=false
 isabelle-output.dock-position=bottom
-isabelle-output.height=296
-isabelle-output.width=512
 isabelle-protocol.dock-position=bottom
-isabelle-results.dock-position=bottom
 isabelle.activate.shortcut=CS+ENTER
 mode.isabelle.sidekick.showStatusWindow.label=true
 sidekick-tree.dock-position=right
 sidekick.buffer-save-parse=true
 sidekick.complete-delay=300