handle-f10

Arguments: window

Used only on GTK.

On GTK, the F10 key appears to be hardcoded in some way to invoke the leftmost menu on the menu-bar of the selected top-level window. (We are not sure quite what's going on here, but we have tentatively supplied this generic function to allow an application to handle this special case if needed.)

If you want to handle F10 in your application (or simply override the built-in behavior), then you can supply a handle-f10 method that does whatever F10 should do in your application. The method should return true to override the built-in behavior of invoking the leftmost menu.

Note that Linux apparently intercepts some other keystrokes, generally any of the function keys with the alt key held down, but we do not know of any way to override those cases. (This is why some keyboard shortcuts in the IDE are different on the GTK platform.)

Copyright (c) 1998-2022, Franz Inc. Lafayette, CA., USA. All rights reserved.
This page was not revised from the 10.0 page.
Created 2019.8.20.