jueves, 19 de mayo de 2011

Modificar tamaño de pestañas en Eclipse (Linux)

Actualmente estoy probando Linux Mint Debian Edition, y uno de los problemas que le veo (y que también me pasaba en Ubuntu, por lo que supongo que será más cosa de Gnome) es que la interfaz se come demasiado espacio de la pantalla. Sin embargo, aunque en los temas GTK+ esto se puede arreglar más o menos a base de usar temas compactos y/o modificar el tamaño de las tipografías, en programas con interfaces gráficas no nativas (por ejemplo Eclipse) no sirven estas soluciones.

He buscado y he encontrado un par de soluciones en StackOverflow y UbuntuGeek

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

http://stackoverflow.com/questions/2743647/gigantic-tabs-in-eclipse-on-ubuntu

Básicamente ambas consisten en crear un archivo llamado .gtkrc-2.0 en nuestra carpeta home e incluir en él lo siguiente:

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"

Como se puede ver, el cambio es evidente:

Actualización: He estado probando y para mi gusto se queda aún mejor con lo siguiente:
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=0
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=1
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
}

Presentación

En este blog iré recopilando pequeños trucos y tutoriales para tenerlos siempre a mano y que no se pierdan con el tiempo.