Estoy intentando personalizar la interfaz del escritorio en Linux Mint 12 con Gnome 3. Simplemente desactivé el panel inferior y cambié la fuente en el panel superior. ¿Cómo cambio el tamaño y el relleno del icono del panel superior?
Modificar la PANEL_ICON_SIZEconfiguración /usr/share/gnome-shell/js/ui/panel.jshace que el sistema se congele y el panel superior desaparezca.