# HG changeset patch
# User wenzelm
# Date 1503257546 -7200
# Node ID 934bd55d768a743433e118597eb56e8bc723fea8
# Parent  0a8277e9cfd6e77d326eb141c4985213579992b6
enforce Isabelle plugins to be enabled;

diff -r 0a8277e9cfd6 -r 934bd55d768a src/Pure/Tools/main.scala
--- 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) {