tuned signature;
authorwenzelm
Sat Sep 17 19:44:58 2011 +0200 (2011-09-17)
changeset 449559adaf5cd4f1c
parent 44954 b536b1144eb3
child 44956 01a1b3b3341f
tuned signature;
src/Tools/jEdit/src/plugin.scala
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Sat Sep 17 19:25:14 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Sat Sep 17 19:44:58 2011 +0200
     1.3 @@ -37,6 +37,9 @@
     1.4    var plugin: Plugin = null
     1.5    var session: Session = null
     1.6  
     1.7 +  val thy_load = new JEdit_Thy_Load
     1.8 +  val thy_info = new Thy_Info(thy_load)
     1.9 +
    1.10  
    1.11    /* properties */
    1.12  
    1.13 @@ -360,9 +363,6 @@
    1.14  {
    1.15    /* theory files */
    1.16  
    1.17 -  val thy_load = new JEdit_Thy_Load
    1.18 -  val thy_info = new Thy_Info(thy_load)
    1.19 -
    1.20    private lazy val delay_load =
    1.21      Swing_Thread.delay_last(Isabelle.session.load_delay)
    1.22      {
    1.23 @@ -373,7 +373,7 @@
    1.24        val thys =
    1.25          for (buffer <- buffers; model <- Isabelle.document_model(buffer))
    1.26            yield model.name
    1.27 -      val files = thy_info.dependencies(thys).map(_._1.node).filterNot(loaded_buffer _)
    1.28 +      val files = Isabelle.thy_info.dependencies(thys).map(_._1.node).filterNot(loaded_buffer _)
    1.29  
    1.30        if (!files.isEmpty) {
    1.31          val files_list = new ListView(Library.sort_strings(files))
    1.32 @@ -474,7 +474,7 @@
    1.33      Isabelle.setup_tooltips()
    1.34      Isabelle_System.init()
    1.35      Isabelle_System.install_fonts()
    1.36 -    Isabelle.session = new Session(thy_load)
    1.37 +    Isabelle.session = new Session(Isabelle.thy_load)
    1.38      SyntaxUtilities.setStyleExtender(new Token_Markup.Style_Extender)
    1.39      if (ModeProvider.instance.isInstanceOf[ModeProvider])
    1.40        ModeProvider.instance = new Token_Markup.Mode_Provider(ModeProvider.instance)