--- a/src/Pure/PIDE/protocol.scala Wed Jul 31 10:54:37 2013 +0200
+++ b/src/Pure/PIDE/protocol.scala Wed Jul 31 12:14:13 2013 +0200
@@ -340,7 +340,8 @@
option(pair(pair(Encode.string, list(Encode.string)), list(Encode.string))))),
list(Encode.string)))))(
(dir, (name.theory, (imports, (keywords, header.errors)))))) },
- { case Document.Node.Perspective(a) => (a.commands.map(c => long_atom(c.id)), Nil) }))
+ { case Document.Node.Perspective(a, b) =>
+ (bool_atom(a) :: b.commands.map(c => long_atom(c.id)), Nil) }))
def encode_edits: T[List[Document.Edit_Command]] = list((node_edit: Document.Edit_Command) =>
{
val (name, edit) = node_edit