~eliasnaur/gio#213: 
F10 key behaves differently on Windows

On Windows the F10 key is special. The application is supposed to handle it by transferring focus to the menu bar, if this isn't done the default handler will focus the title bar instead. With a Gio application pressing F10 currently results in the very next keypress being elided. If the keypress that follows F10 is the spacebar the window menu is opened instead. There is a philosphical problem here, left as is the F10 key in gio will behave differently depending on the operating system. However changing it to work the same everywhere means users will not be able to use F10 + space to open the window menu on Windows, which might be occasionally desirable. There is no way to do the right thing automatically, as far as I can tell.

I'm going to send a patch for this presently but careful consideration should be given to whether or not it should be applied.

Status
RESOLVED FIXED
Submitter
Alessandro Arzilli
Assigned to
No-one
Submitted
4 days ago
Updated
2 days ago
Labels
No labels applied.

~eliasnaur 3 days ago

Thank you for the detailed description. May I ask what you use the F10 key for? Do you know what other programs without menus typically do with F10?

Please resend your patch with a sign-off.

Alessandro Arzilli 3 days ago · edit

On Fri, Apr 09, 2021 at 06:40:19AM -0000, ~eliasnaur wrote:

Thank you for the detailed description. May I ask what you use the F10 key for?

Gdlv uses it as a shortcut key for step over. I do not know what established this convention but all microsoft debuggers (Visual Studio, VSCode, WinDbg) follow it. It is weird that they would violate their own OS's convention but that's how it is, I thought it started on MS-DOS but QuickBASIC actually used a different shortcut.

Do you know what other programs without menus typically do with F10?

No.

Please resend your patch with a sign-off.

Done.

~eliasnaur REPORTED FIXED 2 days ago

Register here or Log in to comment, or comment via email.