Ao fazer alterações nas extensões ou na instalação de aplicativos, algumas vezes achei necessário reiniciar o shell do GNOME para que as alterações entrem em vigor. No passado, pressionar Alt + F2, digitar 'r' e pressionar enter faria isso.
N...
06.01.2017 / 15:37