src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Tue Aug 08 12:21:29 2017 +0200
+++ b/src/Pure/PIDE/command.scala	Tue Aug 08 22:13:05 2017 +0200
@@ -213,6 +213,9 @@
     results: Results = Results.empty,
     markups: Markups = Markups.empty)
   {
+    lazy val consolidated: Boolean =
+      status.exists(markup => markup.name == Markup.CONSOLIDATED)
+
     lazy val protocol_status: Protocol.Status =
     {
       val warnings =