--- a/src/Pure/Tools/main.scala Sun Aug 20 20:53:03 2017 +0200
+++ b/src/Pure/Tools/main.scala Sun Aug 20 21:32:26 2017 +0200
@@ -26,6 +26,14 @@
/* settings directory */
val settings_dir = Path.explode("$JEDIT_SETTINGS")
+
+ val properties = settings_dir + Path.explode("properties")
+ if (properties.is_file) {
+ val props1 = split_lines(File.read(properties))
+ val props2 = props1.filterNot(_.startsWith("plugin-blacklist.Isabelle-jEdit"))
+ if (props1 != props2) File.write(properties, cat_lines(props2))
+ }
+
Isabelle_System.mkdirs(settings_dir + Path.explode("DockableWindowManager"))
if (!(settings_dir + Path.explode("perspective.xml")).is_file) {