Michael: If hotkeys aren't working on your machine you should open a new bug. Please do so by opening a terminal and running 'ubuntu-bug linux'.
Michael: If hotkeys aren't working on your machine you should open a new bug. Please do so by opening a terminal and running 'ubuntu-bug linux'.