# HG changeset patch
# User wenzelm
# Date 1502790118 -7200
# Node ID 457da4e299deae651af1ac6b8598b7708b3a7425
# Parent  df186e69b651fd267edd86840ecb25e88e2e13cb
NEWS;

diff -r df186e69b651 -r 457da4e299de NEWS
--- 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.