Não é possível encontrar essa opção no gnome-tweak-tool. Devo instalar qualquer extensão?
Eu preciso de algo assim:
O Gnome recente deve ter essa correção, conforme o link
OR
como alternativa, use o XFCE 4.10 e acima
Tags gnome