Мой вопрос очень похож на вопрос о переполнении стека Gigantic Tabs в Eclipse на Ubuntu.
Я попробовал представленные решения, но они, кажется, старые. Я нашел решение, которое прекрасно обрабатывает панель инструментов и меню, но не решение, которое уменьшает размер и заполнение непропорционально больших вкладок (и метку) в панелях (см. вкладку "Проводник пакетов" на экране ниже).
Я доволен тем, как настраивается моя OS-тема GTK и не хочу ее менять. Есть ли быстрое исправление для уменьшения размеров вкладок панелей в Eclipse?
Я использую Eclipse для мобильных разработчиков (Juno) на Ubuntu 12.04. Я также упомянул, что мне очень нравится, как Eclipse появляется из коробки в Windows 7, поэтому что-то похожее на это было бы идеальным.
Вот те стили GTK, которые я использую в eclipse:
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 с огромными вкладками: