Skip to content

Instantly share code, notes, and snippets.

@billylindeman
Created November 25, 2013 15:25
Show Gist options
  • Save billylindeman/7642972 to your computer and use it in GitHub Desktop.
Save billylindeman/7642972 to your computer and use it in GitHub Desktop.
This is a fix for the weird spacing in Android Developer Tools bundle on Ubuntu 13.10
#!/bin/bash
GTK2_RC_FILES=/opt/adt/eclipse/gtkrc.eclipse /opt/adt/eclipse/eclipse
--------- cut ----------
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
font_name = "xxxxx 9"
}
class "GtkWidget" style "gtkcompact"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment