bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add shortcut for theme picker menu

Browse source
This commit is contained in:
Guillaume Gomez 2020-11-05 14:24:45 +01:00
parent f7801d6c7c
commit 8b20e9b478
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/librustdoc/html/static/main.js
View file

@ -415,6 +415,15 @@ function defocusSearchBar() {
displayHelp(true, ev); displayHelp(true, ev);
break; break;
case "t":
case "T":
displayHelp(false, ev);
ev.preventDefault();
var themePicker = getThemePickerElement();
themePicker.click();
themePicker.focus();
break;
default: default:
var themePicker = getThemePickerElement(); var themePicker = getThemePickerElement();
if (themePicker.parentNode.contains(ev.target)) { if (themePicker.parentNode.contains(ev.target)) {
@ -2852,6 +2861,7 @@ function defocusSearchBar() {
var shortcuts = [ var shortcuts = [
["?", "Show this help dialog"], ["?", "Show this help dialog"],
["S", "Focus the search field"], ["S", "Focus the search field"],
["T", "Focus the theme picker menu"],
["↑", "Move up in search results"], ["↑", "Move up in search results"],
["↓", "Move down in search results"], ["↓", "Move down in search results"],
["↹", "Switch tab"], ["↹", "Switch tab"],