Tema default GNOME3 adalah bencana untuk layar kecil . Namun, kerumunan Gnome3 tampaknya tidak mau mendengarkan pengguna mereka. Mereka hanya memikirkan bagaimana barang terlihat , khususnya pada PC tablet atau perangkat seluler, tampaknya. Segera, Gnome3 akan membutuhkan layar 4k.
Bagaimanapun, solusi terbaik yang saya temukan adalah untuk mengganti tema ke tema XFCE. Di Ubuntu dan Debian Anda harus dapat menginstalnya melalui apt install gtk3-engines-xfce gtk2-engines-xfce
. Kemudian Anda dapat menggunakan gnome-tweak-tool
untuk mengubah tema. Saat ini saya menggunakan XFCE-orange
tema, dan paddingnya jauh lebih sedikit daripada Gnome3 desaster default "Adwaita". Plus, itu tidak menggunakan hitam menyedihkan untuk setengah dari aplikasi! Saya pikir tooltips di Eclipse juga rusak dengan Adwaita.
Saya perlahan-lahan beralih dari Gnome3 ke XFCE di komputer saya, satu demi satu. Karena Gnome3 terus menjadi semakin tidak berguna bagi saya , karena saya bukan pengguna "joe clueless" rata-rata yang dianggap oleh orang-orang Gnome3 sebagai satu-satunya audiens mereka. Aku muak dengan mereka memecahkan barang-barang untukku. Sekarang mereka baru saja mengumumkan untuk menghentikan panel yang saya gunakan alih-alih rusak oleh desain gnome-shell.
Khusus untuk gerhana , saya sarankan
export SWT_GTK3=0
di Anda ~/.profile
. GTK3 dengan Eclipse hanyalah pemborosan ruang layar yang gila.