src/Tools/jEdit/src/plugin.scala
changeset 64839 842163abfc0d
parent 64838 ae6c51dcba9c
child 64854 f5aa712e6250
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Sun Jan 08 17:36:00 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Sun Jan 08 17:42:31 2017 +0100
     1.3 @@ -188,11 +188,9 @@
     1.4            val thys =
     1.5              (for ((node_name, model) <- models.iterator if model.is_theory)
     1.6                yield (node_name, Position.none)).toList
     1.7 +          val thy_files = PIDE.resources.thy_info.dependencies("", thys).deps.map(_.name)
     1.8  
     1.9 -          val thy_info = new Thy_Info(PIDE.resources)
    1.10 -          val thy_files: List[Document.Node.Name] = thy_info.dependencies("", thys).deps.map(_.name)
    1.11 -
    1.12 -          val aux_files: List[Document.Node.Name] =
    1.13 +          val aux_files =
    1.14              if (PIDE.options.bool("jedit_auto_resolve")) {
    1.15                val stable_tip_version =
    1.16                  if (models.forall(p => p._2.is_stable))