src/Tools/VSCode/extension/src/decorations.ts
changeset 65106 a57794dbe0af
parent 65104 66b19d05dcee
child 65122 1edb570f5b17
--- a/src/Tools/VSCode/extension/src/decorations.ts	Sat Mar 04 20:26:32 2017 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Sat Mar 04 21:04:44 2017 +0100
@@ -61,7 +61,7 @@
   for (let color of foreground_colors) {
     types["foreground_".concat(color)] = background(color) // approximation
   }
-  types["bad"] = decoration({})
+  types["hover_message"] = decoration({})
 }