NEWS;
authorwenzelm
Tue Aug 15 11:41:58 2017 +0200 (21 months ago)
changeset 66424457da4e299de
parent 66423 df186e69b651
child 66426 a5dd01b68218
NEWS;
NEWS
     1.1 --- a/NEWS	Mon Aug 14 21:42:55 2017 +0100
     1.2 +++ b/NEWS	Tue Aug 15 11:41:58 2017 +0200
     1.3 @@ -92,6 +92,11 @@
     1.4  the document model to theories that are required for open editor
     1.5  buffers.
     1.6  
     1.7 +* The Theories dockable indicates the overall status of checking of each
     1.8 +entry. When all forked tasks of a theory are finished, the border is
     1.9 +painted with thick lines; remaining errors in this situation are
    1.10 +represented by a different border color.
    1.11 +
    1.12  * Update to jedit-5.4.0.
    1.13  
    1.14