src/Pure/PIDE/protocol.scala
changeset 48755 393a37003851
parent 48707 ba531af91148
child 48864 3ee314ae1e0a
     1.1 --- a/src/Pure/PIDE/protocol.scala	Fri Aug 10 13:33:07 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Fri Aug 10 15:14:45 2012 +0200
     1.3 @@ -213,7 +213,7 @@
     1.4        def encode_edit(name: Document.Node.Name)
     1.5            : T[Document.Node.Edit[(Option[Command], Option[Command]), Command.Perspective]] =
     1.6          variant(List(
     1.7 -          { case Document.Node.Clear() => (Nil, Nil) },
     1.8 +          { case Document.Node.Clear() => (Nil, Nil) },  // FIXME unused !?
     1.9            { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) },
    1.10            { case Document.Node.Deps(header) =>
    1.11                val dir = Isabelle_System.posix_path(name.dir)