Index: tools/turbolizer/graph-view.js |
diff --git a/tools/turbolizer/graph-view.js b/tools/turbolizer/graph-view.js |
index 7431f4b9a14fe4501ceb652cd88e7d3085710152..9ed4fb5684122747df8aac8524ef0d4f5bb75bac 100644 |
--- a/tools/turbolizer/graph-view.js |
+++ b/tools/turbolizer/graph-view.js |
@@ -510,7 +510,10 @@ class GraphView extends View { |
searchInputAction(graph) { |
if (d3.event.keyCode == 13) { |
graph.state.selection.clear(); |
- var reg = new RegExp(this.value); |
+ var query = this.value; |
+ window.sessionStorage.setItem("lastSearch", query); |
+ |
+ var reg = new RegExp(query); |
var filterFunction = function(n) { |
return (reg.exec(n.getDisplayLabel()) != null || |
(graph.state.showTypes && reg.exec(n.getDisplayType())) || |