another bug fix. coding with a cold and after a long day isn't such a great idea

Author: KeithWoods

package.json

@@ -1,6 +1,6 @@
 {
   "name": "esp-js-devtools",
-  "version": "0.0.11",
+  "version": "0.0.12",
   "description": "Evented State Processor (ESP) dev tools",
   "main": "dist/esp-js-devtools.js",
   "scripts": {

src/devtoolsHooks.js

@@ -26,16 +26,17 @@ class Controller {
         this._model.dispose();
         this._view.dispose();
     }
-    closeView() {
-        this._view.dispose();
-        this._view = null;
-    }
     _openDevToolsOnKeyboardShortcut(event) {
         event = event || window.event;
         if(event.keyCode== 68 && event.ctrlKey && event.altKey) {
             if(this._view === null) {
                 this._view = new DevToolsView(DevToolsModel.modelId, this._router);
                 this._view.start();
+                this._view.addDisposable(
+                    () => {
+                        this._view = null;
+                    }
+                );
             }
         }
     }