[wxPython-users] What is special with wx.WXK_F10 ?

[Robin Dunn]

Egon Frerich wrote:

>> I know that F10 is often used to activate the menu bar (so you can
>> access menus without using the mouse) 
> yes - this is the case
>> so perhaps your platform is intercepting that key before it gets
>> turned into a normal key event.
>>
> Where should I look for the documentation? How can I get this key event
> before the "platform" uses the key event?

I'm not sure, but I expect that it may be possible to change it by 
changing your GNOME config, however keep in mind that this is something 
that your users may expect to work, and if you change it you may get 
complaints.

-- 
Robin Dunn
Software Craftsman
http://wxPython.org  Java give you jitters?  Relax with wxPython!