# HG changeset patch
# User wenzelm
# Date 1551281326 -3600
# Node ID b21ddfa7042b9a48956497420479169ea829345e
# Parent  edda2d14c10808274130fbb76b5658d9d117ca17
clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");

diff -r edda2d14c108 -r b21ddfa7042b src/Pure/PIDE/document_status.scala
--- a/src/Pure/PIDE/document_status.scala	Wed Feb 27 14:22:00 2019 +0100
+++ b/src/Pure/PIDE/document_status.scala	Wed Feb 27 16:28:46 2019 +0100
@@ -164,7 +164,7 @@
     def ok: Boolean = failed == 0
     def total: Int = unprocessed + running + warned + failed + finished
 
-    def quasi_consolidated: Boolean = !finalized && terminated
+    def quasi_consolidated: Boolean = !is_suppressed && !finalized && terminated
 
     def percentage: Int =
       if (consolidated) 100