Add coverage demo theme

2017-05-04 09:33:18 -07:00
parent f86bab7045
commit 13fbc8514b
2 changed files with 17 additions and 0 deletions
--- a/demo/package.json
+++ b/demo/package.json
@@ -17,6 +17,11 @@
        "label": "Generated Theme (Minimal)",
        "uiTheme": "vs-dark",
        "path": "./theme-minimal.json"
+      },
+      {
+        "label": "Generated Theme (Minimal, coverage)",
+        "uiTheme": "vs-dark",
+        "path": "./theme-minimal-coverage.json"
      }
    ]
  }