Я использую Ubuntu 12.04.1 с Gnome Classic. Я добавил несколько пусковых установок на верхней панели, но они расположены слишком плотно (также обратите внимание на разделители, они на самом деле ничего не разделяют):
Могу ли я увеличить расстояние между лаунчерами?
AFAIK это можно сделать, отредактировав ~ / .config / gtk-3.0 / gtk.css. Мне удалось переключить настройку жирного шрифта для панели таким образом. Но я не нашел, какой параметр влияет на расстояние запуска и апплета.
Также размер значков кажется мне слишком большим - они занимают все место сверху вниз, без рамки. Они были меньше, когда я использовал 10.04. Есть ли способ уменьшить их размер?
Я наконец-то сумел решить проблему с пробелами и готов поделиться своим решением. Добавьте к ~/.config/gtk-3.0/gtk.css
следующие строки:
.gnome-panel-menu-bar.menubar .menuitem,
PanelWidget .button {
padding: 0px 4px;
}
Первая строка влияет на интервал заголовков меню (Приложения и Места), вторая - на интервал запуска. Вот результат:
Вы можете увеличить интервал еще больше, изменив второй параметр заполнения (6 пикселей сделают его даже с интервалом значков апплета индикатора в верхний правый угол), но я очень доволен 4 пикселя. Помните, что увеличение отступов также сделает кнопки задач на нижней панели более широкими, так как они также являются виджетами панели. Или вы можете установить интервал отдельно для заголовков и пусковых установок меню - вам решать:
.gnome-panel-menu-bar.menubar .menuitem {
padding: 0px 4px;
}
PanelWidget .button {
padding: 0px 3px;
}
Обновление: Наконец-то нашли способ увеличить заполнение разделителей панели. Добавьте к ~/.config/gtk-3.0/gtk.css
еще несколько строк:
PanelSeparator {
padding: 4px 8px;
}
Первый параметр заполнения будет уменьшать длину разделителей, второй - интервал с обеих сторон разделителя. Вот окончательный результат: