Este relatório de bug do gnome-shell descreve o problema com os atalhos Super + Key e detalha uma solução alternativa hacky (que corrige completamente o problema para mim!):
link
Basicamente, o problema é que os atalhos personalizados são manipulados pelo gnome-settings-daemon, que não seleciona corretamente a chave Super. O gerenciador de janelas (neste caso, mutter) pode ver a tecla Super. Então, Olivier Crete escreveu uma extensão que lê suas definições de atalhos personalizadas e as passa para mutter. Eu instalei a extensão e funciona muito bem para mim. Não é necessário pressionar duas teclas como alguns comentaristas anteriores estavam falando.
A extensão não está no site oficial das extensões gnome porque foi rejeitada (você pode ler as avaliações hilárias aqui: link ... aparentemente os revisores estão tendo problemas com compreensão de leitura!). No entanto, você pode baixar a extensão através do comentário 33 no relatório de erros.
Descompacte o arquivo em seu diretório ~ / .local / share / gnome-shell / extensions, reinicie o gnome-shell (Alt + F2, r), ative o Gnome Tweak Tool e ative a extensão. Você deve então ser bom para ir.
EDIT: mais uma coisa. Se você tiver mais de 6 atalhos personalizados e ativar essa extensão, o shell do gnome explodirá. Os códigos rígidos de extensão suportam 10 atalhos, mas apenas o suporte compilado para 6. Para adicionar suporte a um número arbitrário de atalhos, no diretório schemas, edite o arquivo org.gnome.shell.extensions.command-keybindings.gschema.xml e copie / cole mais entradas de ligação (deve ser evidente como fazer isso - apenas certifique-se de incrementar o binding- #). Em seguida, no diretório schemas, execute "glib-compile-schemas". Finalmente, no arquivo extension.js, localize a linha "for (let i = 0; i < 10; i ++)" e altere 10 para o número total de ligações que você definiu. Agora você deve ter suporte para mais atalhos personalizados. Ufa! Ninguém disse que o Gnome 3 era fácil! Ah, espere ...