You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
The default key binding for Help (Ctrl+"?") does not work, presumably because "?" is typed with Shift+"+" on some non-US keyboards and neither Ctrl+Shift+"+" nor Ctrl+"+" is accepted to mean Ctrl+"?".
To Reproduce
Use non US keyboard layout
Hit Ctrl+"+" or Ctrl+Shift+"+" (which is where "?" is mapped)
Nothing happens because this is not Ctrl+"?"
Expected behavior
3. Get help
Desktop (please complete the following information):
OS: Ubuntu Linux 20.04.2 LTS
The text was updated successfully, but these errors were encountered:
Describe the bug
The default key binding for Help (Ctrl+"?") does not work, presumably because "?" is typed with Shift+"+" on some non-US keyboards and neither Ctrl+Shift+"+" nor Ctrl+"+" is accepted to mean Ctrl+"?".
To Reproduce
Expected behavior
3. Get help
Desktop (please complete the following information):
The text was updated successfully, but these errors were encountered: