Rollup merge of #75393 - GuillaumeGomez:fix-help-shortcut, r=pickfire

Fully handle "?" shortcut

Fixes #75386.

cc @runiq
This commit is contained in:
Tyler Mandry 2020-08-11 12:28:34 -07:00 committed by GitHub
commit a4211977d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -408,9 +408,7 @@ function defocusSearchBar() {
break;
case "?":
if (ev.shiftKey) {
displayHelp(true, ev);
}
displayHelp(true, ev);
break;
}
}