NEWS
changeset 69778 09ad02c0fbee
parent 69768 7e4966eaf781
parent 69775 5a8ae7a4b7d0
child 69780 b9a5805d1d70
     1.1 --- a/NEWS	Thu Jan 31 13:08:59 2019 +0000
     1.2 +++ b/NEWS	Thu Jan 31 21:59:30 2019 +0100
     1.3 @@ -53,6 +53,9 @@
     1.4  entries are structured according to chapter / session names, the open
     1.5  operation is redirected to the session ROOT file.
     1.6  
     1.7 +* System option "jedit_text_overview" allows to disable the text
     1.8 +overview column.
     1.9 +
    1.10  * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle
    1.11  DejaVu" collection by default, which provides uniform rendering quality
    1.12  with the usual Isabelle symbols. Line spacing no longer needs to be