*** Isabelle/jEdit Prover IDE *** * System option "jedit_text_overview" allows to disable the text overview column.
This refers to Isabelle/5a8ae7a4b7d0 -- it is a minor visual enhancement for situations where the editor screen should look like a presentation, without any distractions by extra GUI elements. (All other GUI elements had already options in jEdit or Isabelle). Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev