src/Tools/VSCode/extension/src/decorations.ts
changeset 68871 f5c76072db55
parent 67322 734a4e44b159
child 69320 fc221fa79741
     1.1 --- a/src/Tools/VSCode/extension/src/decorations.ts	Sat Sep 01 18:39:36 2018 +0200
     1.2 +++ b/src/Tools/VSCode/extension/src/decorations.ts	Sat Sep 01 20:20:50 2018 +0200
     1.3 @@ -13,6 +13,7 @@
     1.4  const background_colors = [
     1.5    "unprocessed1",
     1.6    "running1",
     1.7 +  "canceled",
     1.8    "bad",
     1.9    "intensify",
    1.10    "quoted",