Très grands onglets dans les volets d'Eclipse sur Ubuntu

Question

Ma question est très similaire à celle de Stack Overflow Onglets géants dans Eclipse sur Ubuntu .

J'ai essayé les solutions présentées, mais elles semblent être anciennes. J'ai trouvé une solution qui gère bien la barre d'outils et les menus, mais pas une solution qui réduit la taille et le remplissage des onglets (et de l'étiquette) disproportionnés dans les volets (voir l'onglet "Package Explorer" dans l'écran ci-dessous).

Je suis satisfait de la façon dont le thème GTK de mon système d'exploitation est personnalisé et je ne veux pas changer cela. Existe-t-il une solution rapide pour réduire la taille des onglets des volets dans Eclipse ?

J'utilise Eclipse pour développeurs mobiles (Juno) sur Ubuntu 12.04. Je dois également mentionner que j'aime beaucoup la façon dont Eclipse apparaît dans Windows 7, donc quelque chose de similaire serait idéal.

Voici les styles GTK spécifiques à Eclipse que j'utilise :

style "eclin" {
    GtkButton::default_border={1,1,1,1}
    GtkButton::default_outside_border={1,1,1,1}
    GtkButtonBox::child_min_width=0
    GtkButtonBox::child_min_heigth=0
    GtkButtonBox::child_internal_pad_x=0
    GtkButtonBox::child_internal_pad_y=0
    GtkMenu::vertical-padding=1
    GtkMenuBar::internal_padding=1
    GtkMenuItem::horizontal_padding=4
    GtkToolbar::internal-padding=1
    GtkToolbar::space-size=1
    GtkOptionMenu::indicator_size=0
    GtkOptionMenu::indicator_spacing=0
    GtkPaned::handle_size=4
    GtkRange::trough_border=0
    GtkRange::stepper_spacing=0
    GtkScale::value_spacing=0
    GtkScrolledWindow::scrollbar_spacing=0
    GtkExpander::expander_size=10
    GtkExpander::expander_spacing=0
    GtkTreeView::vertical-separator=0
    GtkTreeView::horizontal-separator=0
    GtkTreeView::expander-size=12
    GtkTreeView::fixed-height-mode=TRUE
    GtkWidget::focus_padding=0
    font_name="Liberation Sans,Sans Regular 8"
}

class "GtkWidget" style "eclin"
    style "eclin2" {
    xthickness=1
    ythickness=1
}

class "GtkButton" style "eclin2"
class "GtkToolbar" style "eclin2"
class "GtkPaned" style "eclin2"

Voici une capture d'écran de ce à quoi ressemble mon IDE avec les énormes onglets :

Answer 1

Vous pouvez modifier le CSS d'Eclipse au lieu de vous occuper du thème GTK.

Dans votre répertoire Eclipse, trouvez le fichier plugins/org.eclipse.platform_4.2.*/css/e4_default_gtk.css (il y a un * dans ce fichier, car je suppose que la version peut changer à l'avenir ou être déjà différente). Dans ce fichier, il y a une classe CSS :

.MPartStack {
    font-size: 11;
    swt-simple: false;
    swt-mru-visible: false;
}

Et vous avez deux solutions possibles :

1. changement font-size à quelque chose de plus petit
2. il suffit de commenter ou de supprimer font-size de ce cours (fonctionne bien pour moi)

Et ça devrait faire l'affaire.

Answer 2

Le style des onglets peut être modifié dans Eclipse 4.2 en éditant le CSS. Vous pouvez modifier les styles directement dans la fenêtre des préférences d'Eclipse après avoir installé le plug-in de l'éditeur CSS E4.

Aller dans le menu Aide > Installer un nouveau logiciel, puis installer E4 CSS editor (Incubation) plug-in en utilisant le site de mise à jour d'Eclipse 4 (ajouter ce lien : http://download.eclipse.org/e4/updates/0.12 ).

Après le redémarrage, allez dans Fenêtre > Préférences, Général > Apparence et vous pouvez maintenant modifier les styles ici pour tout thème sélectionné.

J'utilise ce style pour les onglets :

.MPartStack {
  font-size: 9;
  font-family: Liberation Sans;
  swt-tab-renderer: null;
  swt-tab-height: 22px;
  swt-selected-tabs-background: #FFFFFF #ECE9D8 100%;
  swt-simple: false;
  swt-mru-visible: false;
}

Vous pouvez spécifier la hauteur des onglets en utilisant l'option swt-tab-height option. Sa valeur définit la hauteur de l'onglet en ignorant la taille de la police.

Answer 3

Je souhaitais également réduire l'espace horizontal afin de pouvoir insérer davantage d'onglets, car Eclipse ne dispose pas d'onglets à rangées multiples.

Ces instructions s'appliquent à toutes les plates-formes (sans se limiter à Ubuntu/GTK, par exemple).

Ce que j'ai fait, c'est :

• Réduction de la taille de la police
• Changement de la police de caractères pour quelque chose d'horizontal-compact
• Suppression du bouton X (fermer l'onglet)

...ce qui donne le résultat suivant sur mon système (Win 7) :

...et c'est comme ça que ça se passe :

1. Vérifiez la disposition CSS que vous utilisez : Préférences->Général->Apparence-> vérifier la valeur de la liste déroulante 'Thème:'.

2. Ouvrez le fichier correspondant dans <eclipse folder>\plugins\org.eclipse.platform_<your version>\css par exemple e4_default_win7.css

3. Modifier .MPartStack entrées pour définir la taille et la police de caractères, par exemple :

   .MPartStack {
       font-size: 8;
       font-family: 'Arial Narrow';
       swt-simple: true;
       swt-mru-visible: false;
   }

4. Ajoutez l'entrée suivante pour supprimer le X (icône de fermeture) :

   CTabItem {
       swt-show-close: false !important;   
   }

C'est ça !

Answer 4

Eclipse utilise maintenant (4.5 Mars) GTK3 par défaut sous Linux. Pour la 4.6, un correctif semble avoir déjà été intégré.

Changer SWT_GTK3 fonctionne pour Eclipse Mars :

$ export SWT_GTK3=0

ou définir cette variable en ligne avec l'exécution d'eclipse

$ SWT_GTK3=0 /path/to/eclipse/eclipse

Pour le tuer, il suffit de le déposer dans la racine comme eclipse.sh :

#!/bin/bash
SWT_GTK3=0 exec env "${0%.sh}"

Answer 5

Vous pouvez essayer le thème de https://github.com/jeeeyul/eclipse-themes .

Après avoir installé ce thème, appliquez-le en choisissant le thème dans Fenêtre > Préférences > Général > Apparence > Thèmes de Jeeeyul.

Et pour résoudre le problème des grands onglets, veuillez vous référer à https://github.com/jeeeyul/eclipse-themes/wiki/Linux-Huge-Toolbar-Problem .

C'est facile et beau. Profitez-en !