私の質問は、Ubuntu上のEclipseのStackOverflowの質問GiganticTabsと非常によく似ています。
提示された解決策を試しましたが、古いようです。ツールバーとメニューを適切に処理するソリューションを見つけましたが、ペイン内の不釣り合いに大きいタブ(およびラベル)のサイズとパディングを減らすソリューションは見つかりませんでした(下の画面の[パッケージエクスプローラー]タブを参照)。
OS全体のGTKテーマがカスタマイズされている方法に満足しており、それを変更したくありません。Eclipseのペインのタブサイズを縮小するための簡単な修正はありますか?
Ubuntu12.04でEclipseforMobile Developers(Juno)を使用しています。また、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が巨大なタブでどのように見えるかのスクリーンショットです: