# HG changeset patch
# User wenzelm
# Date 1316281498 -7200
# Node ID 9adaf5cd4f1c87aee32adc4e91e1695c9c6662b5
# Parent  b536b1144eb303bc5304c0c04192968d5f24307c
tuned signature;

diff -r b536b1144eb3 -r 9adaf5cd4f1c src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Sat Sep 17 19:25:14 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Sat Sep 17 19:44:58 2011 +0200
@@ -37,6 +37,9 @@
   var plugin: Plugin = null
   var session: Session = null
 
+  val thy_load = new JEdit_Thy_Load
+  val thy_info = new Thy_Info(thy_load)
+
 
   /* properties */
 
@@ -360,9 +363,6 @@
 {
   /* theory files */
 
-  val thy_load = new JEdit_Thy_Load
-  val thy_info = new Thy_Info(thy_load)
-
   private lazy val delay_load =
     Swing_Thread.delay_last(Isabelle.session.load_delay)
     {
@@ -373,7 +373,7 @@
       val thys =
         for (buffer <- buffers; model <- Isabelle.document_model(buffer))
           yield model.name
-      val files = thy_info.dependencies(thys).map(_._1.node).filterNot(loaded_buffer _)
+      val files = Isabelle.thy_info.dependencies(thys).map(_._1.node).filterNot(loaded_buffer _)
 
       if (!files.isEmpty) {
         val files_list = new ListView(Library.sort_strings(files))
@@ -474,7 +474,7 @@
     Isabelle.setup_tooltips()
     Isabelle_System.init()
     Isabelle_System.install_fonts()
-    Isabelle.session = new Session(thy_load)
+    Isabelle.session = new Session(Isabelle.thy_load)
     SyntaxUtilities.setStyleExtender(new Token_Markup.Style_Extender)
     if (ModeProvider.instance.isInstanceOf[ModeProvider])
       ModeProvider.instance = new Token_Markup.Mode_Provider(ModeProvider.instance)