src/Tools/jEdit/src/plugin.scala
changeset 56801 8dd9df88f647
parent 56775 59f70b89e5fd
child 56834 a752f065f3d3
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Wed Apr 30 13:11:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Wed Apr 30 22:34:11 2014 +0200
     1.3 @@ -35,7 +35,8 @@
     1.4    @volatile var startup_notified = false
     1.5  
     1.6    @volatile var plugin: Plugin = null
     1.7 -  @volatile var session: Session = new Session(new JEdit_Resources(Set.empty, Outer_Syntax.empty))
     1.8 +  @volatile var session: Session =
     1.9 +    new Session(new JEdit_Resources(Set.empty, Map.empty, Outer_Syntax.empty))
    1.10  
    1.11    def options_changed() { plugin.options_changed() }
    1.12    def deps_changed() { plugin.deps_changed() }
    1.13 @@ -210,7 +211,7 @@
    1.14  
    1.15            val thy_info = new Thy_Info(PIDE.resources)
    1.16            // FIXME avoid I/O in Swing thread!?!
    1.17 -          val files = thy_info.dependencies(thys).deps.map(_.name.node).
    1.18 +          val files = thy_info.dependencies("", thys).deps.map(_.name.node).
    1.19              filter(file => !loaded_buffer(file) && PIDE.resources.check_file(view, file))
    1.20  
    1.21            if (!files.isEmpty) {
    1.22 @@ -350,7 +351,8 @@
    1.23        JEdit_Lib.jedit_text_areas.foreach(Completion_Popup.Text_Area.init _)
    1.24  
    1.25        val content = Isabelle_Logic.session_content(false)
    1.26 -      val resources = new JEdit_Resources(content.loaded_theories, content.syntax)
    1.27 +      val resources =
    1.28 +        new JEdit_Resources(content.loaded_theories, content.known_theories, content.syntax)
    1.29  
    1.30        PIDE.session = new Session(resources) {
    1.31          override def output_delay = PIDE.options.seconds("editor_output_delay")