Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/protocol.scala
changeset 48755 393a37003851
parent 48707 ba531af91148
child 48864 3ee314ae1e0a 
--- a/src/Pure/PIDE/protocol.scala	Fri Aug 10 13:33:07 2012 +0200
+++ b/src/Pure/PIDE/protocol.scala	Fri Aug 10 15:14:45 2012 +0200
@@ -213,7 +213,7 @@
       def encode_edit(name: Document.Node.Name)
           : T[Document.Node.Edit[(Option[Command], Option[Command]), Command.Perspective]] =
         variant(List(
-          { case Document.Node.Clear() => (Nil, Nil) },
+          { case Document.Node.Clear() => (Nil, Nil) },  // FIXME unused !?
           { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) },
           { case Document.Node.Deps(header) =>
               val dir = Isabelle_System.posix_path(name.dir)
isabelle