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({}) }