Os temas padrão do GNOME3 são um desastre para telas minúsculas . No entanto, a multidão do Gnome3 parece não querer ouvir seus usuários. Eles só pensam na aparência das coisas , em particular em um tablet PC ou dispositivo móvel, ao que parece. Em breve, o Gnome3 exigirá uma tela de 4k.
Enfim, a melhor solução que encontrei é mudar o tema para os temas do XFCE. No Ubuntu e Debian, você poderá instalá-los via apt install gtk3-engines-xfce gtk2-engines-xfce
. Em seguida, você pode usar o gnome-tweak-tool
para alterar o tema. Atualmente, estou usando o XFCE-orange
tema e ele tem muito menos preenchimento do que o desastre padrão do Gnome3 "Adwaita". Além disso, ele não usa esse preto deprimente para metade dos aplicativos! Acho que as dicas no Eclipse também foram quebradas com o Adwaita.
Estou mudando lentamente do Gnome3 para o XFCE nos meus computadores, um após o outro. Como o Gnome3 continua se tornando cada vez menos útil para mim , já que eu não sou o usuário comum "joe clueless" que as pessoas do Gnome3 consideram ser sua única audiência. Estou farto deles quebrando coisas para mim. Agora eles acabaram de anunciar a descontinuação do painel que estou usando, em vez do quebrado pelo design gnome-shell.
Para eclipse especificamente, sugiro
export SWT_GTK3=0
no seu ~/.profile
. O GTK3 com Eclipse é apenas um desperdício louco de espaço na tela.