[Desktop-packages] [Bug 1302885] Re: Media keyboard shortcuts not working

2014-05-20 Thread Marco Russo
My media keys were already set to default, so the solution from comment #4 didn't work for me. What salved the problem for me was adding the official gnome3 ppa and upgrading gnome: ~$ sudo add-apt-repository ppa:gnome3-team/gnome3 ~$ sudo apt-get update && sudo apt-get dist-upgrade After reboot

[Desktop-packages] [Bug 1292560] Re: unity-settings-daemon crashed with SIGSEGV in malloc_consolidate()

2014-05-08 Thread Marco Russo
I don't know if this could be of any help, but after this crash all keyboard shortcuts stopped working, even Ctrl+Alt+T for terminal. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to pulseaudio in Ubuntu. https://bugs.launchpad.net/bugs/12

[Desktop-packages] [Bug 506089] Re: Compiz Shift Switcher does not work correctly with arrow keys

2014-03-24 Thread Marco Russo
Bug is still present in Ubuntu 12.04 -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to compiz in Ubuntu. https://bugs.launchpad.net/bugs/506089 Title: Compiz Shift Switcher does not work correctly with arrow keys Status in “compiz” pack