Comment 3 for bug 38910

Revision history for this message
In , Ken Collins (ken-confirmative) wrote :

A nice way to implement this would be to allow certain key combinations to pass through to the window manager. I have keys mapped in Gnome to pause my media player, so if I could get those keys to work, it would be more than adequate. I find that I end up postponing a lot of breaks just to pause my media player and restart the break.