Thanks David, I used the second bug which seemed to be closer to your issue, and added a comment specifying the deeper problem if you re-map the F11.
Thanks David, I used the second bug which seemed to be closer to your issue, and added a comment specifying the deeper problem if you re-map the F11.