[turbolizer] Features and bug-fixes

tools/turbolizer/schedule-view.js

Index: tools/turbolizer/schedule-view.js
diff --git a/tools/turbolizer/schedule-view.js b/tools/turbolizer/schedule-view.js
index ca1cf8ae8ec5891b55968c74706dee28a6426d16..58d0af7ec56ac64d39f7e67b91393131363ba2f5 100644
--- a/tools/turbolizer/schedule-view.js
+++ b/tools/turbolizer/schedule-view.js
@@ -76,8 +76,8 @@ class ScheduleView extends TextView {
       ],
       // Parse opcode including []
       [
-        [/^[A-Za-z0-9_]+(\[[^\]]+\])?$/, NODE_STYLE, -1],
-        [/^[A-Za-z0-9_]+(\[[^\]]+\])?/, NODE_STYLE, 3]
+        [/^[A-Za-z0-9_]+(\[.+])?$/, NODE_STYLE, -1],
+        [/^[A-Za-z0-9_]+(\[.+])?/, NODE_STYLE, 3]
       ],
       // Parse optional parameters
       [
@@ -105,4 +105,23 @@ class ScheduleView extends TextView {
     this.setPatterns(patterns);
     this.setNodePositionMap(nodePositionMap);
   }
+
+  initializeContent(data, rememberedSelection) {
+    super.initializeContent(data, rememberedSelection);
+    var graph = this;
+    var locations = [];
+    for (var id of rememberedSelection) {
+      locations.push({ node_id : id });
+    }
+    this.selectLocations(locations, true, false);
+  }
+
+  detachSelection() {
+    var selection = this.selection.detachSelection();
+    var s = new Set();
+    for (var i of selection) {
+      s.add(i.location.node_id);
+    };
+    return s;
+  }
 }