tobiasquinn/gnome-shell-mousewheel-zoom — pull request #19 by mjumbewu (2013-12-31 18:39:36+00:00)
Title: Use Super key as an additional optional modifier

- Add a boolean setting for super key
- Check super key setting when constructing a keymask

Scratching a bit of a personal itch, I like all my desktop-wide shortcuts to incorporate the super key, so that there's less chance of collision with individual applications.

It seems Super key is often mod4 (http://blacketernal.wordpress.com/set-up-key-mappings-with-xmodmap/)