author | wenzelm |
Tue, 15 Aug 2017 11:41:58 +0200 | |
changeset 66424 | 457da4e299de |
parent 66423 | df186e69b651 |
child 66426 | a5dd01b68218 |
--- a/NEWS Mon Aug 14 21:42:55 2017 +0100 +++ b/NEWS Tue Aug 15 11:41:58 2017 +0200 @@ -92,6 +92,11 @@ the document model to theories that are required for open editor buffers. +* The Theories dockable indicates the overall status of checking of each +entry. When all forked tasks of a theory are finished, the border is +painted with thick lines; remaining errors in this situation are +represented by a different border color. + * Update to jedit-5.4.0.