clarified command status (again);
authorwenzelm
Fri Aug 31 15:03:44 2012 +0200 (2012-08-31 ago)
changeset 49039e780d1bf767e
parent 49038 2f0530b81c45
child 49040 e5fc20c93e38
clarified command status (again);
src/Pure/PIDE/protocol.scala
     1.1 --- a/src/Pure/PIDE/protocol.scala	Fri Aug 31 14:52:29 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Fri Aug 31 15:03:44 2012 +0200
     1.3 @@ -61,7 +61,7 @@
     1.4  
     1.5      def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0))
     1.6      def is_running: Boolean = runs != 0
     1.7 -    def is_finished: Boolean = !failed && forks == 0 && runs == 0
     1.8 +    def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0
     1.9      def is_failed: Boolean = failed
    1.10    }
    1.11