# HG changeset patch
# User wenzelm
# Date 1626382164 -7200
# Node ID e6e49f9cafd88c7cf95fb9f0e5b70f3cc1001dbc
# Parent  f2d16e75bcf15350570e49e8abbb9ea8305c3eb8
NEWS;

diff -r f2d16e75bcf1 -r e6e49f9cafd8 NEWS
--- a/NEWS	Thu Jul 15 22:28:26 2021 +0200
+++ b/NEWS	Thu Jul 15 22:49:24 2021 +0200
@@ -33,6 +33,9 @@
 
 * Support for built-in font substitution of jEdit text area.
 
+* The main plugin for Isabelle/jEdit can be deactivated and reactivated
+as documented --- was broken at least since Isabelle2018.
+
 
 *** Document preparation ***