--- a/src/Pure/PIDE/headless.scala Fri Sep 21 23:14:52 2018 +0100
+++ b/src/Pure/PIDE/headless.scala Sat Sep 22 13:22:43 2018 +0200
@@ -71,6 +71,12 @@
val nodes: List[(Document.Node.Name, Document_Status.Node_Status)],
val nodes_committed: List[(Document.Node.Name, Document_Status.Node_Status)])
{
+ def nodes_pending: List[(Document.Node.Name, Document_Status.Node_Status)] =
+ {
+ val committed = nodes_committed.iterator.map(_._1).toSet
+ nodes.filter(p => !committed(p._1))
+ }
+
def snapshot(name: Document.Node.Name): Document.Snapshot =
stable_snapshot(state, version, name)