Améliorer (un peu) le look d'Eclipse sous Gnome / GTK

Le look d'Eclipse sous Gnome / GTK est vraiment, vraiment mauvais ; il s'est même dégradé ces derniers mois, notamment parce que les onglets et les barres d'outils occupent un espace vertical démesuré. Petite astuce pour corriger cela.

Il faut d'abord placer un fichier .gtkrc-2.0 dans le dossier 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"
Contenu du fichier ~/.gtkrc-2.0.

Il faut ensuite éditer le fichier CSS d'Eclipse e4_default_gtk.css :

.MPartStack {
    /*font-size: 11;*/
    swt-simple: false;
    swt-mru-visible: false;
}
Mettre en commentaire la déclaration de la taille de fonte dans /path/to/eclipse/plugins/org.eclipse.platform_*/css/e4_default_gtk.css.

Capture d'écran

Comparaison de l'interface GTK d'Eclipse avant et après les modifications.

Le gain est tout de même notable, surtout dans les vues arborescentes.

Gigantic Tabs in Eclipse on Ubuntu. stackoverflow,

Very large tabs in eclipse panes on Ubuntu. stackoverflow,