Agora funciona. Apenas Use a combinação de teclas acima, selecione o código Unicode correspondente com o teclado numérico e pressione Enter . De qualquer forma, o Gnome Tweaks é tão útil (porque não é padrão / pré-instalado ??!?) Eu recomendo para everyone .