Estou tentando personalizar a interface da área de trabalho no Linux Mint 12 executando o Gnome 3. Acabei de desativar o painel inferior e alterei a fonte no painel superior. Como altero o tamanho e o preenchimento do ícone do painel superior?
Modificar a PANEL_ICON_SIZEconfiguração /usr/share/gnome-shell/js/ui/panel.jsfaz com que o sistema congele e o painel superior desapareça.