Richard Knott
Sr. Account Manager
ThinkCP Technologies
16812 Hale Ave.
Irvine, Ca. 92606
800-726-2477 x 121
fax=949833-3389
rkn...@thinkcp.com
cell= 714-369-3389
http://www.thinkcp.com
For me it made a difference what terminal window I was in:
1) gnome terminal - F10/F11 did not work
2) xterm window - F10/F11 did work properly
for gnome-terminal -
try going into
Edit...Keyboard Shortcuts...
then uncheck "Disable menu shortcut key (F10 by default)
...unless, of course you actually use that feature ;-)