Is there an easy way to modify key- and mouse-bindings for GNOME shell? The gnome-tweak-tool is far from complete regarding these issues and the system settings doesn't include any such options. I guess there is always the possibility of opening the [gd]conf-editor. If that is our final resort for now what key patterns are involved then?