Thanks for reporting this, however this issue is most likely not a bug. Fixed shortcuts (as F1 for help) cannot be assigned to another functionality.
If you still feel that this needs to be fixed, please report this bug to the upstream bugtracker: http://sourceforge.net/tracker/?group_id=239&atid=100239
Thanks for reporting this, however this issue is most likely not a bug.
Fixed shortcuts (as F1 for help) cannot be assigned to another functionality.
If you still feel that this needs to be fixed, please report this bug to the upstream bugtracker: http:// sourceforge. net/tracker/ ?group_ id=239& atid=100239