| Index: pkg/dartdoc/lib/src/client/dropdown.dart
|
| diff --git a/pkg/dartdoc/lib/src/client/dropdown.dart b/pkg/dartdoc/lib/src/client/dropdown.dart
|
| index 9865b04b5203bf911a2e0ac5e0d46aa6e9c6356f..eab7e7901b8be63d230736461329f6f5120abd42 100644
|
| --- a/pkg/dartdoc/lib/src/client/dropdown.dart
|
| +++ b/pkg/dartdoc/lib/src/client/dropdown.dart
|
| @@ -322,15 +322,22 @@ void hideDropDown() {
|
| dropdown.style.visibility = 'hidden';
|
| }
|
|
|
| -/** Activate search on Ctrl+F and F3. */
|
| +/** Activate search on Ctrl+3 and S. */
|
| void shortcutHandler(KeyboardEvent event) {
|
| - if (event.keyCode == 0x46/*F*/ && event.ctrlKey ||
|
| - event.keyIdentifier == KeyName.F3) {
|
| + if (event.keyCode == 0x33/* 3 */ && event.ctrlKey ||
|
| + event.keyCode == 0x53/* S */) {
|
| searchInput.focus();
|
| event.preventDefault();
|
| }
|
| }
|
|
|
| +/**
|
| + * Setup window shortcuts.
|
| + */
|
| +void setupShortcuts() {
|
| + window.on.keyDown.add(shortcutHandler);
|
| +}
|
| +
|
| /** Setup search hooks. */
|
| void setupSearch(var libraries) {
|
| libraryList = libraries;
|
| @@ -343,5 +350,4 @@ void setupSearch(var libraries) {
|
| searchInput.on.reset.add(updateDropDown);
|
| searchInput.on.focus.add((event) => showDropDown());
|
| searchInput.on.blur.add((event) => hideDropDown());
|
| - window.on.keyDown.add(shortcutHandler);
|
| }
|
|
|