--- a/changelog	Sat May 06 14:59:26 2017 +0200
+++ b/changelog	Thu May 11 18:26:56 2017 +0200
@@ -5,6 +5,10 @@
 - Checkers
   -- extended the source documentation checker to check for raised/documented
      exceptions and defined/documented signals
+- Editor
+  -- reintroduced the highlighting of current instruction line and the error
+     line using colored background. It is configurable whether to use these
+     backgrounds or the arrows.
 
 Version 17.05:
 - bug fixes