| 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())) ||
|
|
|