Skip to content

Increase shortcut consistency of web with electron.#191061

Merged
roblourens merged 2 commits intomicrosoft:mainfrom
rehmsen:shortcuts-step-menu
Aug 23, 2023
Merged

Increase shortcut consistency of web with electron.#191061
roblourens merged 2 commits intomicrosoft:mainfrom
rehmsen:shortcuts-step-menu

Conversation

@rehmsen
Copy link
Contributor

@rehmsen rehmsen commented Aug 23, 2023

On electron, nothing changes.
On web,

  • "Focus Application Menu" changes from F10 to Alt+F10 (this action only exists on web)
  • "Debugger: Step over" changes from Alt+F10 to F10 like on electron

While #183510 already added the F10 binding for the debugger also on web, it did not actually have any effect, because of a conflict with F10 for "Focus Application Menu" on web.

This change was agreed upon in #190180 due to the relatively low usage of "Open Application Menu" in the interest of more overall consistency.

Fixes #190180.

On electron, nothing changes.
On web,
* "Focus Application Menu" changes from F10 to Alt+F10 (this action only
  exists on web)
* "Debugger: Step over" changes from Alt+F10 to F10 like on electron

While microsoft#183510 already added the F10 binding for the debugger
also on web, it did not actually have any effect, because of a conflict
with F10 for "Focus Application Menu" on web.

This change was agreed upon in microsoft#190180 due to the relatively low usage
of "Open Application Menu" in the interest of more overall consistency.

Fixes microsoft#190180.
Copy link
Member

@roblourens roblourens left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@vscodenpa vscodenpa added this to the August 2023 milestone Aug 23, 2023
@roblourens roblourens enabled auto-merge (squash) August 23, 2023 23:55
@roblourens roblourens merged commit e23be75 into microsoft:main Aug 23, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Oct 8, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Conflicting keyboard shortcuts on web

4 participants