Sign up ×
Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. It's 100% free, no registration required.

I'm trying to personalize the desktop interface in Linux Mint 12 running Gnome 3. I just disabled the bottom panel and I changed the font in the upper panel. How do I change the upper panel's icon size and padding?

Modifying the PANEL_ICON_SIZE setting in /usr/share/gnome-shell/js/ui/panel.js causes the system to freeze and the upper panel disappears.

share|improve this question
You might want to look into editing /usr/share/gnome-shell/theme/gnome-shell.css. Something like this reference might be helpful. – Ricardo Altamirano Mar 13 '13 at 13:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.