Ubuntu上的Eclipse窗格中的选项卡非常大
我的问题与Ubuntu上的Eclipse中的Stack Overflow问题Gigantic Tabs非常相似。 我已经尝试过提出的解决方案,但它们似乎已过时。我找到了一种可以很好地处理工具栏和菜单的解决方案,但没有找到一种可以减小窗格内不成比例的大标签(和标签)的大小和填充的解决方案(请参见下面屏幕中的“ Package Explorer”标签)。 我对定制整个OS范围的GTK主题的方式感到满意,并且不想更改它。是否有快速解决方案来减小Eclipse中窗格的选项卡大小? 我正在Ubuntu 12.04上使用Eclipse for Mobile Developers(Juno)。我还要提到,我真的很喜欢Eclipse在Windows 7中开箱即用的方式,因此类似的选择将是理想的。 这是我正在使用的特定于蚀的GTK样式: style "eclin" { GtkButton::default_border={1,1,1,1} GtkButton::default_outside_border={1,1,1,1} 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=1 GtkMenuItem::horizontal_padding=4 GtkToolbar::internal-padding=1 GtkToolbar::space-size=1 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 GtkExpander::expander_size=10 GtkExpander::expander_spacing=0 GtkTreeView::vertical-separator=0 GtkTreeView::horizontal-separator=0 GtkTreeView::expander-size=12 GtkTreeView::fixed-height-mode=TRUE GtkWidget::focus_padding=0 font_name="Liberation Sans,Sans Regular 8" } class "GtkWidget" style …