changeset 68871 | f5c76072db55 |
parent 68822 | 253f04c1e814 |
child 68884 | 9b97d0b20d95 |
--- a/src/Pure/PIDE/markup.scala Sat Sep 01 18:39:36 2018 +0200 +++ b/src/Pure/PIDE/markup.scala Sat Sep 01 20:20:50 2018 +0200 @@ -424,7 +424,7 @@ val RUNNING = "running" val FINISHED = "finished" val FAILED = "failed" - + val CANCELED = "canceled" val INITIALIZED = "initialized" val CONSOLIDATED = "consolidated"