====== Configure jEdit ======

  * Enable brackets mode: Start isabelle with "isabelle jedit -m brackets"
  * Change the font size: Utilities -> Global Options -> jEdit -> Text Area -> Text font
  * Change Look&Feel: Utilities -> Global Options -> jEdit -> Appearance