Я пытаюсь персонализировать интерфейс рабочего стола в Linux Mint 12 с Gnome 3. Я просто отключил нижнюю панель и изменил шрифт в верхней панели. Как изменить размер и отступы значка верхней панели?
Изменение PANEL_ICON_SIZEнастроек /usr/share/gnome-shell/js/ui/panel.jsприводит к зависанию системы и исчезновению верхней панели.