author | nipkow |
Tue, 15 Aug 2017 11:52:17 +0200 | |
changeset 66426 | a5dd01b68218 |
parent 66424 | 457da4e299de (diff) |
parent 66425 | 8756322dc5de (current diff) |
child 66427 | d14e7666d785 |
child 66430 | 636c0db8dbf5 |
child 66432 | 3a78bbfe9cf3 |
--- a/NEWS Tue Aug 15 09:29:35 2017 +0200 +++ b/NEWS Tue Aug 15 11:52:17 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.