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.
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.