src/Pure/PIDE/document_status.scala

     consolidated: Boolean)
   {
     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
       else if (total == 0) 0
       else (((total - unprocessed).toDouble / total) * 100).toInt min 99