Я пытаюсь сделать пользовательский интерфейс Eclipse более компактным и уже успешно настроил его, используя эти инструкции:
Единственное, что я хотел бы улучшить, это уменьшить расстояние по вертикали между пунктами меню, как показано на этой картинке:
.
Я просмотрел свойства стиля GtkMenuItem, но не могу найти никаких настроек для этого. GtkMenu::vertical-padding также не кажется правильным.
Есть ли какое-либо свойство виджета Gtk2, которое я могу изменить, чтобы сделать это?
В файле gtkrc вашей темы есть несколько настроек, которые вы можете изменить, чтобы сделать элементы меню более компактными:
Чтобы уменьшить ширину и высоту элементов меню, вы можете назначить меньшее значение свойствам xthickness и ythickness соответственно (горизонтальное и вертикальное отступы соответственно между текстом и границей виджета). например
style "menu_item" {
xthickness = 1
ythickness = 1
}
Приведенный выше фрагмент кода предполагает, что ваш виджет GtkMenuItem использует стиль под названием menu_item в файле gtkrc вашей темы. то есть
widget_class "*<GtkMenuItem>*" style "menu_item"
Высоту пункта меню-разделителя (строки, разделяющие пункты меню) можно уменьшить, присвоив меньшее значение свойству GtkWidget::separator-height. например
style "separator_menu_item" {
xthickness = 1
ythickness = 1
GtkSeparatorMenuItem::horizontal-padding = 0
GtkWidget::wide-separators = 1
GtkWidget::separator-width = 1
GtkWidget::separator-height = 1
}
Опять же, приведенный выше фрагмент кода предполагает, что ваш виджет GtkSeparatorMenuItem использует стиль под названием separator_menu_item в файле gtkrc вашей темы. то есть
widget_class "*<GtkSeparatorMenuItem>*" style "separator_menu_item"
