# HG changeset patch
# User wenzelm
# Date 1443617379 -7200
# Node ID b18f83985215d0795c8e9c420f9c1d41d5fddeab
# Parent  14cd4eabce1041623a553a64c7da04f090b32ec6
more robust system init (again), in case the plugin is started without isabelle.Main;

diff -r 14cd4eabce10 -r b18f83985215 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Wed Sep 30 14:37:21 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Wed Sep 30 14:49:39 2015 +0200
@@ -384,6 +384,7 @@
       Debug.DISABLE_SEARCH_DIALOG_POOL = true
 
       PIDE.plugin = this
+      Isabelle_System.init()
       GUI.install_fonts()
 
       PIDE.options.update(Options.init())