我的问题与Ubuntu 上的 Eclipse 中的 Stack Overflow 问题 Gigantic Tabs非常相似。
我已经尝试过提出的解决方案,但它们似乎已经过时了。我找到了一个可以很好地处理工具栏和菜单的解决方案,但不是一个可以减小窗格中不成比例的大选项卡(和标签)的大小和填充的解决方案(请参阅下面屏幕中的选项卡“包资源管理器”)。
我对自定义操作系统范围的 GTK 主题的方式感到满意,并且不想改变它。是否有快速修复来减少 Eclipse 中窗格的选项卡大小?
我在 Ubuntu 12.04 上使用 Eclipse for Mobile Developers (Juno)。我还要提一下,我真的很喜欢 Eclipse 在 Windows 7 中开箱即用的方式,因此类似的方式将是理想的。
以下是我正在使用的 Eclipse 特定 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 "eclin"
style "eclin2" {
xthickness=1
ythickness=1
}
class "GtkButton" style "eclin2"
class "GtkToolbar" style "eclin2"
class "GtkPaned" style "eclin2"
下面是我的 IDE 带有巨大标签的屏幕截图: