src/Pure/PIDE/protocol.scala
changeset 50128 599c935aac82
parent 49650 9fad6480300d
child 50157 76efdb6daab2
     1.1 --- a/src/Pure/PIDE/protocol.scala	Mon Nov 19 20:47:13 2012 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Mon Nov 19 22:34:17 2012 +0100
     1.3 @@ -237,6 +237,7 @@
     1.4            { case Document.Node.Deps(header) =>
     1.5                val dir = Isabelle_System.posix_path(name.dir)
     1.6                val imports = header.imports.map(_.node)
     1.7 +              val keywords = header.keywords.map({ case (a, b, _) => (a, b) })
     1.8                // FIXME val uses = deps.uses.map(p => (Isabelle_System.posix_path(p._1), p._2))
     1.9                val uses = header.uses
    1.10                (Nil,
    1.11 @@ -244,7 +245,7 @@
    1.12                    pair(list(pair(Encode.string,
    1.13                      option(pair(pair(Encode.string, list(Encode.string)), list(Encode.string))))),
    1.14                    pair(list(pair(Encode.string, bool)), list(Encode.string))))))(
    1.15 -                (dir, (name.theory, (imports, (header.keywords, (uses, header.errors))))))) },
    1.16 +                (dir, (name.theory, (imports, (keywords, (uses, header.errors))))))) },
    1.17            { case Document.Node.Perspective(a) => (a.commands.map(c => long_atom(c.id)), Nil) }))
    1.18        def encode_edits: T[List[Document.Edit_Command]] = list((node_edit: Document.Edit_Command) =>
    1.19        {