Linux 下优化Eclipse界面
这个方式是修改gtk设置,如果觉得大小有问题,可以手动修改配置
打开终端
~$gedit .gtkrc-2.0
然后将以下内容粘帖到gedit里面,保存即可
style "gtkcompact" {
font_name="Dejavu Sans 9"
GtkButton::default_border={1,1,1,1}
GtkButton::default_outside_border={0,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"