--- a/NEWS Thu Jan 31 13:08:59 2019 +0000
+++ b/NEWS Thu Jan 31 21:59:30 2019 +0100
@@ -53,6 +53,9 @@
entries are structured according to chapter / session names, the open
operation is redirected to the session ROOT file.
+* System option "jedit_text_overview" allows to disable the text
+overview column.
+
* Fonts for the text area, gutter, GUI elements etc. use the "Isabelle
DejaVu" collection by default, which provides uniform rendering quality
with the usual Isabelle symbols. Line spacing no longer needs to be