# HG changeset patch
# User wenzelm
# Date 1443797806 -7200
# Node ID be3a5fee11e3b32fdebac1ec2cfda9e5897dda7f
# Parent  12378df46752af0a72a5620bf8fe97287945f45f
clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main;

diff -r 12378df46752 -r be3a5fee11e3 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Oct 01 23:26:31 2015 +0200
+++ b/src/Pure/Tools/main.scala	Fri Oct 02 16:56:46 2015 +0200
@@ -20,6 +20,7 @@
     {
       try {
         Isabelle_System.init()
+        GUI.install_fonts()
 
 
         /* settings directory */
diff -r 12378df46752 -r be3a5fee11e3 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Thu Oct 01 23:26:31 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Fri Oct 02 16:56:46 2015 +0200
@@ -384,9 +384,6 @@
       Debug.DISABLE_SEARCH_DIALOG_POOL = true
 
       PIDE.plugin = this
-      Isabelle_System.init()
-      GUI.install_fonts()
-
       PIDE.options.update(Options.init())
       PIDE.completion_history.load()
       PIDE.spell_checker.update(PIDE.options.value)