Index: tools/turbolizer/graph-view.js |
diff --git a/tools/turbolizer/graph-view.js b/tools/turbolizer/graph-view.js |
index 7431f4b9a14fe4501ceb652cd88e7d3085710152..51d0e4fddf88907958553309be086c5318a021aa 100644 |
--- a/tools/turbolizer/graph-view.js |
+++ b/tools/turbolizer/graph-view.js |
@@ -625,6 +625,19 @@ class GraphView extends View { |
showSelectionFrontierNodes(d3.event.keyCode == 38, undefined, true); |
break; |
} |
+ case 82: |
+ // 'r' |
+ if (!d3.event.ctrlKey) { |
+ this.layoutAction(this); |
+ } else { |
+ eventHandled = false; |
+ } |
+ break; |
+ case 191: |
+ // '/' |
+ document.getElementById("search-input").focus(); |
+ document.getElementById("search-input").select(); |
+ break; |
default: |
eventHandled = false; |
break; |