clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
authorwenzelm
Wed Feb 27 16:28:46 2019 +0100 (3 months ago ago)
changeset 70025b21ddfa7042b
parent 70024 edda2d14c108
child 70026 d28e8199dcb9
clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
src/Pure/PIDE/document_status.scala
     1.1 --- a/src/Pure/PIDE/document_status.scala	Wed Feb 27 14:22:00 2019 +0100
     1.2 +++ b/src/Pure/PIDE/document_status.scala	Wed Feb 27 16:28:46 2019 +0100
     1.3 @@ -164,7 +164,7 @@
     1.4      def ok: Boolean = failed == 0
     1.5      def total: Int = unprocessed + running + warned + failed + finished
     1.6  
     1.7 -    def quasi_consolidated: Boolean = !finalized && terminated
     1.8 +    def quasi_consolidated: Boolean = !is_suppressed && !finalized && terminated
     1.9  
    1.10      def percentage: Int =
    1.11        if (consolidated) 100