J'ai cherché partout une solution GTK3, car j'étais sûr que le passage à un système GTK3 avait causé ce problème. Cependant, après avoir perdu mon temps pendant deux heures, j'ai découvert que la "vieille astuce GTK2" fonctionne.
Le message original du forum est ici : http://ubuntuforums.org/showthread.php?t=1465712
Ajoutez un nouveau fichier appelé .gtkrc-2.0
dans votre répertoire personnel avec le contenu suivant :
style "gtkcompact" {
GtkButton::default_border={0,0,0,0}
GtkButton::default_outside_border={0,0,0,0}
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=0
GtkMenuItem::horizontal_padding=4
GtkToolbar::internal-padding=0
GtkToolbar::space-size=0
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
GtkTreeView::vertical-separator=0
GtkTreeView::horizontal-separator=0
GtkTreeView::fixed-height-mode=TRUE
GtkWidget::focus_padding=0
}
class "GtkWidget" style "gtkcompact"
Redémarrez Eclipse.
L'espace gaspillé est à nouveau utilisé efficacement !
Mise à jour 2014-06
Maintenant que je suis (enfin) passé à Kepler, j'ai constaté que les petits widgets minimiser-maximiser ne descendaient plus en dessous de 28 pixels. Ces .gtkrc-2.0
semblent avoir de meilleurs résultats pour Kepler.
style "gtkcompact" {
GtkButton::defaultborder={0,0,0,0}
GtkButton::defaultoutsideborder={0,0,0,0}
GtkButtonBox::childminwidth=0
GtkButtonBox::childminheigth=0
GtkButtonBox::childinternalpadx=0
GtkButtonBox::childinternalpady=0
GtkMenu::vertical-padding=1
GtkMenuBar::internalpadding=0
GtkMenuItem::horizontalpadding=4
GtkToolbar::internal-padding=0
GtkToolbar::space-size=0
GtkOptionMenu::indicatorsize=0
GtkOptionMenu::indicatorspacing=2
GtkPaned::handlesize=4
GtkRange::troughborder=0
GtkRange::stepperspacing=0
GtkScale::valuespacing=0
GtkScrolledWindow::scrollbarspacing=0
GtkExpander::expandersize=10
GtkExpander::expanderspacing=0
GtkTreeView::vertical-separator=0
GtkTreeView::horizontal-separator=0
GtkTreeView::expander-size=8
GtkTreeView::fixed-height-mode=TRUE
GtkWidget::focuspadding=1
}
class "GtkWidget" style "gtkcompact"
style "gtkcompactextra" {
xthickness=2 ythickness=2
}
class "GtkButton" style "gtkcompactextra"
class "GtkToolbar" style "gtkcompactextra"
class "GtkPaned" style "gtkcompactextra"
Si vous ajoutez le xthickness
y ythickness
à l'ensemble GtkWidget
votre barre de menu sera toute serrée et comprimée. C'est trop à mon avis, mais juste pour que vous le sachiez.
Vous pouvez éditer le fichier et l'enregistrer, ouvrir quelque chose de simple comme Geany
, modifier sauvegarder, rouvrir Geany
etc. pour modifier rapidement les choses. Pour plus de détails, vous pouvez ouvrir Eclipse à chaque fois, mais il prend plus de temps à charger, en fonction du nombre de plugins que vous avez à charger.
Mise à jour 2015-10-02
À propos de Luna et Mars
@eocanha a dit au 15 janvier :
Si vous avez installé Gtk3, Eclipse Luna utilisera le système de style basé sur CSS de Gtk3 et ignorera .gtkrc-2.0. Cependant, vous pouvez forcer Eclipse à utiliser à nouveau Gtk2 (si vous l'avez installé) via les variables d'environnement du shell : "export SWT_GTK3=0" dans votre .bashrc ou dans un wrapper script appelant Eclipse.
Source originale : https://bugs.eclipse.org/bugs/show_bug.cgi?id=420180