[isabelle-dev] NEWS: option "jedit_text_overview"

Makarius makarius at sketis.net
Thu Jan 31 23:05:00 CET 2019

*** 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).


More information about the isabelle-dev mailing list