src/Pure/PIDE/command.scala
changeset 66382 6392766f3c25
parent 65522 4d7c5df70a14
child 66768 f27488f47a47
     1.1 --- a/src/Pure/PIDE/command.scala	Tue Aug 08 12:21:29 2017 +0200
     1.2 +++ b/src/Pure/PIDE/command.scala	Tue Aug 08 22:13:05 2017 +0200
     1.3 @@ -213,6 +213,9 @@
     1.4      results: Results = Results.empty,
     1.5      markups: Markups = Markups.empty)
     1.6    {
     1.7 +    lazy val consolidated: Boolean =
     1.8 +      status.exists(markup => markup.name == Markup.CONSOLIDATED)
     1.9 +
    1.10      lazy val protocol_status: Protocol.Status =
    1.11      {
    1.12        val warnings =