merged
authornipkow
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
merged
--- 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.