Thanks for comment. Apparently there is an issue with the Hotkey on Ubuntu 12.10. We are working on it. Not sure though whether this issue is related with the issue on Arch Linux.
Might need to split up this issue.
Thanks for comment. Apparently there is an issue with the Hotkey on Ubuntu 12.10. We are working on it. Not sure though whether this issue is related with the issue on Arch Linux.
Might need to split up this issue.