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.

gtk eclipse jilen
la source
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.

Anony-Mousse -Reinstate Monica
la source
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 .

jstarek
la source
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.

lenooh
la source
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
2

Le thème Chrome Eclipse a une taille de police, des options de taille de coin. Il fonctionne avec eclipse 4.x https://github.com/jeeeyul/eclipse-themes

jilen
la source
Ce plugin rend l'éclipse bien meilleure avec gnome
jilen
0

Voir cette solution, elle fonctionne parfaitement sur Linux Mint 16 Petra 64

http://ubuntuforums.org/showthread.php?t=1465712

Carlos
la source
3
Bienvenue sur le site U&L Stack Exchange. Bien que votre réponse réponde à la question, veuillez éviter les réponses contenant uniquement des liens . Il serait préférable que la réponse contienne suffisamment d'informations pour se suffire à elle-même et un lien vers la source de l'information comme référence.
Thomas Nyman
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.

G. Demecki
la source