Fixed some ghost selection glitches

editor/js/tools/deletetool.js

 import Tool from "./tool";
-import { graph } from "../editor";
+import { graph, state } from "../editor";
 import * as Graph from "../graph";
 
 export default class DeleteTool extends Tool {
@@ -9,6 +9,10 @@ export default class DeleteTool extends Tool {
 
     onNodeClick(node) {
         graph.deleteNode(node[Graph.NODE_ID]);
+        
+        if (state.selectedItem == node) {
+            state.setSelectedItem(undefined);
+        }
     }
 
     onLinkClick(link) {
@@ -16,5 +20,9 @@ export default class DeleteTool extends Tool {
             link[Graph.LINK_SOURCE][Graph.NODE_ID],
             link[Graph.LINK_TARGET][Graph.NODE_ID]
         );
+        
+        if (state.selectedItem == link) {
+            state.setSelectedItem(undefined);
+        }
     }
 }

editor/js/tools/selecttool.js

@@ -28,4 +28,17 @@ export default class SelectTool extends Tool {
             graph.changeDetails(value);
         }
     }
+
+    onToolActivate() {
+        if (state === undefined) {
+            return;
+        }
+
+        var newSelection = state.selectedItem;
+        if (newSelection === undefined) {
+            newSelection = {};
+        }
+
+        this.menu.value(SelectMenu.SELECTION_KEY, newSelection);
+    }
 }