Bug#726625: gnome-shell: media-keys plugin not working; JS ERROR

[intrigeri]

Control: tag -1 + moreinfo

Hi Leo,

Leo Antunes wrote (17 Oct 2013 12:32:43 GMT) :
> On 17/10/13 14:11, Michael Biebl wrote:
>> Not reproducible here.
>> Does the problem persist if you reboot your system or if you use a fresh
>> user account?

> Also happens in a freshly created account. I've attached the
> .xsession-errors from this new account, maybe there's more context to it
> and I'm not seeing it.
> You'll notice I only logged in, opened dconf-editor to make sure the
> keybindings where set, tried a "Ctrl-Alt-Del" (seemed like an
> appropriate one to test) and nothing happened. The logout was performed
> via menu item.

> Is there any more debugging info I could send?

Sorry we didn't get back to you earlier.
Can you reproduce this bug on Debian Jessie?

Cheers,
--
intrigeri