Optimize the eclipse interface in Linux
This method is to modify the GTK settings. If the size is incorrect, you can manually modify the configuration.
Open Terminal
~ $ Gedit. gtkrc-2.0
Paste the following content into gedit and save it.
Style "gtkcompact "{
Font_name = "dejavu sans 9"
Gtkbutton: default_border = {1, 1, 1}
Gtkbutton: default_outside_border = {0, 0, 0}
Gtkbuttonbox: child_min_width = 1
Gtkbuttonbox: child_min_heigth = 1
Gtkbuttonbox: child_internal_pad_x = 1
Gtkbuttonbox: child_internal_pad_y = 1
Gtkmenu: vertical-padding = 1
Gtkmenubar: internal_padding = 1
Gtkmenuitem: horizontal_padding = 4
Gtktoolbar: Internal-padding = 1
Gtktoolbar: space-size = 1
Gtkoptionmenu: indicator_size = 1
Gtkoptionmenu: indicator_spacing = 1
Gtkpaned: handle_size = 4
Gtkrange: trough_border = 1
Gtkrange: stepper_spacing = 1
Gtkscale: value_spacing = 1
Gtkscrolledwindow: scrollbar_spacing = 1
Gtkexpander: expander_size = 10
Gtkexpander: expander_spacing = 1
Gtktreeview: vertical-separator = 1
Gtktreeview: horizontal-separator = 1
Gtktreeview: expander-size = 9
Gtktreeview: Fixed-height-mode = true
Gtkwidget: focus_padding = 1
}
Class "gtkwidget" style "gtkcompact"
Style "gtkcompactextra "{
Xthickness = 0
Ythickness = 0
}
Class "gtkbutton" style "gtkcompactextra"
Class "gtktoolbar" style "gtkcompactextra"
Class "gtkpaned" style "gtkcompactextra"