Parece ter sido um erro no design da GUI do GNOME 3.26
Por sorte, há uma extensão que corrige isso: link
Eu recentemente atualizei para o Ubuntu 17.10 / GNOME 3.26. Tive algumas falhas durante a transição para o GNOME da Unity, como eu já havia usado parcialmente o Ubuntu-GNOME, e algumas extensões estavam se matando, o ubuntu-dock não estava funcionando, etc.
Eu entendi direito, mas não consigo resolver outro problema que foi introduzido com um bug com 14.04 - um monitor falso Eu tenho desde então: As configurações do meu sistema mostram um monitor que realmente não existe, devido ao meu nvidia optimus BIOS que parece estar anunciando um monitor VGA. Nas versões anteriores do Ubuntu, eu poderia usar gnome-control-center para apenas "desligar" este monitor - mas por mais que eu tente, não consigo encontrar nenhum botão ou switch para matar aquele maldito monitor :
Eu senti falta de algo aqui? Ou é possível que o GNOME 3.26 não forneça uma ferramenta para desabilitar um monitor?!
Obrigado antecipadamente.