gnome3 super key binding

sometimes, super key bindings in gnome 3 do not work correctly---an input box appears at the right-bottom corner. a workaround is using dconf-editor to set the key empty: /org/gnome/mutter/overlay-key.

see: https://github.com/linuxmint/Cinnamon/issues/549.