After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 676244 - Media keys (such as changing volume, pausing media, starting an application) do not work in the Activities Overview
Media keys (such as changing volume, pausing media, starting an application) ...
Status: RESOLVED DUPLICATE of bug 643111
Product: gnome-shell
Classification: Core
Component: general
3.4.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2012-05-17 14:22 UTC by Elad Alfassa
Modified: 2012-05-17 14:40 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Elad Alfassa 2012-05-17 14:22:19 UTC 
Media keys (such as changing volume, pausing media, starting an application) do not work in the Activities Overview.
Is this by design? If so, why?
Comment 1 Florian Müllner 2012-05-17 14:37:31 UTC 
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 643111 ***
Comment 2 Florian Müllner 2012-05-17 14:40:05 UTC 
(In reply to comment #0)
> Media keys (such as changing volume, pausing media, starting an application) do
> not work in the Activities Overview.

I'm actually not sure about launching applications - if we allow that in the overview, we probably want to leave the overview when triggered (to be consistent with the various "... Settings" menu items).