# HG changeset patch
# User wenzelm
# Date 1488579684 -3600
# Node ID b47ba1778e44f1a67fcdfec6f35cf3c1e3c090ba
# Parent  ed2e33653438c6e37caba2fe6d70aae8bdd73dcf
evade odd version conflicts for batch build (e.g. "vsce package");

diff -r ed2e33653438 -r b47ba1778e44 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 03 23:04:12 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 03 23:21:24 2017 +0100
@@ -78,7 +78,7 @@
     },
     "devDependencies": {
         "typescript": "^2.1.0",
-        "vscode": "^1.8.0",
+        "vscode": "^1.0.0",
         "mocha": "^2.3.3",
         "@types/node": "^6.0.40",
         "@types/mocha": "^2.2.32"
diff -r ed2e33653438 -r b47ba1778e44 src/Tools/VSCode/extension/src/decorations.ts
--- a/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 03 23:04:12 2017 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 03 23:21:24 2017 +0100
@@ -12,7 +12,7 @@
   bad: TextEditorDecorationType
 }
 
-export let types: Readonly<Decorations>
+export let types: Decorations
 
 export function init(context: ExtensionContext)
 {