Os temas padrão do GNOME3 são um desastre para telas minúsculas . No entanto, a multidão do Gnome3 parece não estar disposta a ouvir seus usuários. Eles só pensam em como as coisas parecem , em particular em um tablet PC ou dispositivo móvel, parece. Em breve, o Gnome3 exigirá uma tela de 4k.
De qualquer forma, a melhor solução que encontrei é mudar o tema para os temas do XFCE. No Ubuntu e Debian você deve poder instalá-los via apt install gtk3-engines-xfce gtk2-engines-xfce . Então você pode usar o gnome-tweak-tool para mudar o tema. Atualmente estou usando XFCE-orange theme, e tem muito menos padding do que o padrão Gnome3 desaster "Adwaita". Além disso, ele não usa esse preto para metade dos aplicativos! Eu acho que as dicas no Eclipse também foram quebradas com o Adwaita.
Estou mudando lentamente do Gnome3 para o XFCE em meus computadores, um após o outro. Porque o Gnome3 continua ficando cada vez menos útil para mim , já que eu não sou seu usuário comum "joe clueless" que as pessoas do Gnome3 consideram ser seu único público. Estou farto deles quebrando as coisas por 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 o Eclipse é apenas um desperdício de espaço na tela.
