There is another open bug report for the non-Unity issue:
Bug #937822 [precise] F10 always opens the menu, cannot be overriden (after xkeyboard-config update)
There is another open bug report for the non-Unity issue:
Bug #937822 [precise] F10 always opens the menu, cannot be overriden (after xkeyboard-config update)