Réduisez la taille de l'onglet Eclipse avec le thème GTK


20

Dans Eclipse sur Fedora, ces contrôles / widgets prennent trop de place:

Capture d'écran de Eclipse Fedora

Comment puis-je rendre ces barres plus minces avec un gtk-rcfichier ou un thème CSS GTK3?

UPDATED: J'ai trouvé https://github.com/jeeeyul/eclipse-themes ce plugin a quelques configurations et options intégrées qui rendent eclipse 4.2 / 4.3 beaucoup plus agréable.


4
GTK3 et Gnome3 ont rendu Eclipse pratiquement inutilisable sur de minuscules écrans. Les nouvelles tailles d'onglet et de barre d'outils sont un désastre. Il montre à quel point la foule Gnome3 vit dans le monde des arts où les boutons de la barre d'outils fonctionnent beaucoup pour les écrans tactiles. :-(
Anony-Mousse -Reinstate Monica

Réponses:


17

Les thèmes GNOME3 par défaut sont un désastre pour les petits écrans . Cependant, la foule de Gnome3 semble peu disposée à écouter leurs utilisateurs. Ils ne pensent qu'à l' apparence des choses , en particulier sur une tablette PC ou un appareil mobile, semble-t-il. Bientôt, Gnome3 aura besoin d'un écran 4k.

Quoi qu'il en soit, la meilleure solution que j'ai trouvée est de basculer le thème vers les thèmes XFCE. Sur Ubuntu et Debian, vous devriez pouvoir les installer via apt install gtk3-engines-xfce gtk2-engines-xfce. Ensuite, vous pouvez utiliser le gnome-tweak-toolpour changer le thème. J'utilise actuellement le XFCE-orangethème, et il a beaucoup moins de rembourrage que le désaster Gnome3 par défaut "Adwaita". De plus, il n'utilise pas ce noir déprimant pour la moitié des applications! Je pense que les info-bulles dans Eclipse ont également été rompues avec Adwaita.

Je passe lentement de Gnome3 à XFCE sur mes ordinateurs, l'un après l'autre. Parce que Gnome3 continue de devenir de moins en moins utile pour moi , car je ne suis pas votre utilisateur "joe clueless" moyen que les gens de Gnome3 considèrent comme leur seul public. J'en ai marre qu'ils cassent des choses pour moi. Maintenant, ils viennent d'annoncer l'arrêt du panneau que j'utilise au lieu du gnome-shell cassé par la conception.

Pour l' éclipse en particulier, je suggère de

export SWT_GTK3=0

dans votre ~/.profile. GTK3 avec Eclipse est juste un gaspillage fou d'espace d'écran.


Hm, je me suis tourné vers le système élémentaire pendant des jours. Cela fonctionne plutôt bien, malgré certaines applications obsolètes (svn, emacs, gnu globa, etc.) elementaryos.org
jilen

Je resterais avec les trucs bien entretenus. Ubuntu et Debian sortent par exemple LXDE et XFCE de la boîte. Agacé par le paternalisme Gnome, le dernier vers lequel se tourner est un autre groupe d'évangélistes "nous savons mieux que vous ce dont vous avez besoin". Je veux avoir le choix de faire les choses à ma façon (par exemple, utiliser Eclipse sur un petit écran).
Anony-Mousse -Reinstate Monica

Oui, les trucs stables signifient beaucoup plus pour moi.
jilen

2
Même 3 ans plus tard, avec éclipse MARS sur linux menthe à la cannelle, export SWT_GTK3=0s'améliore beaucoup (lire: diminution de la hauteur de la barre de menus).
Harald

Hou la la! En fait, cela fonctionne si bien, et ici je me contente de ce que je peux faire en modifiant le CSS. Je vous remercie!
mikeymop

2

Pouvez-vous également utiliser / convertir des thèmes GTK2? Si c'est le cas, je recommande fortement la belle version compacte de Clearlooks de Martin Ankerl .


J'ai utilisé cela, mais cela rend l'élément de menu trop étroit. Je veux vraiment réduire les endroits que je signale dans la figure ci
jilen

2

Vous pouvez installer un nouveau thème d'éclipse. Je connais la "présentation VS étendue" qui est un thème très minimaliste. Consultez: http://andrei.gmxhome.de/skins/index.html

De plus, vous pouvez installer un plugin plein écran qui vous donne un peu d'espace supplémentaire. Découvrez-le ici: http://www.scharf.gr/eclipse/fullscreen/update/

Aussi la chose que vous avez en bas, à gauche et à droite, vous pouvez simplement cliquer et la faire glisser vers le haut dans la même barre d'outils (donc à la fin, vous n'en avez qu'une). S'ils ne correspondent pas (selon la résolution de votre écran), allez dans Fenêtre-> Personnaliser Perspecitve ... et désactivez-les.

Voilà à quoi ça ressemble (sans plein écran).  J'utilise également le plugin editbox.


Est-ce une barre de menu noire pour éclipse? ou Est-ce un menu global? (si oui, qu'avez-vous utilisé?)
mikeymop

Il s'agit du menu éclipse d'origine, utilisant l'extension plein écran. Je ne me souviens pas exactement, comme c'était il y a 4 ans, mais ce n'est certainement pas le menu global de l'unité.
lenooh



0

Je suis partiellement d'accord avec @ Anony-Mousse, mais ce problème avec Eclipse n'a pas commencé avec GTK 3 ou Gnome 3 - il est présent depuis des années avec GTK 2.

Malheureusement, avec Gnome 3, il est devenu encore plus visible en raison de rembourrages / marges plus importants, etc. Eclipse a également ses propres bogues (voir par exemple le bogue 456345 ). C'est pourquoi pour Eclipse, j'utilise toujours personnellement GTK2 et mes propres paramètres gtkrc pour les remplissages, les marges et les polices.

La solution complète que j'utilise peut être trouvée dans cet essentiel .
Et ça marche vraiment bien.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.