| 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;
|
|
|