Hi,
On 20 June 2012 13:37, Michael Biebl wrote:
> Yes media-keys are handled by g-s-d.
> There is some known breakage with
> a/ custom shortcuts not being migrated from gconf to gsettings
Right, I fixed these by hand (e.g. using Super+Tab instead Alt+Tab),
but these aren't the media keys.
> b/
On 20.06.2012 11:48, Daniel Stone wrote:
> Package: gnome-settings-daemon
> Version: 3.4.2-3
> Severity: important
>
> Hi,
> Since a recent-ish upgrade (I'm not sure which, sorry), all the media
> keys in gnome-settings-daemon have ceased to function. Curiously, I'm
> pretty sure it wasn't the up
Package: gnome-settings-daemon
Version: 3.4.2-3
Severity: important
Hi,
Since a recent-ish upgrade (I'm not sure which, sorry), all the media
keys in gnome-settings-daemon have ceased to function. Curiously, I'm
pretty sure it wasn't the upgrade that broke all my other shortcuts and
meant I had t
3 matches
Mail list logo
