Increase launcher and applet spacing on the Gnome Classic panel

Posted by whtyger on Ask Ubuntu See other posts from Ask Ubuntu or by whtyger
Published on 2012-12-17T10:05:21Z Indexed on 2012/12/17 11:13 UTC
Read the original article Hit count: 249

Filed under:

customization

|

gnome-panel

|

gnome-classic

I'm using Ubuntu 12.04.1 with Gnome Classic. I added some launchers on the top panel, but they are placed too tightly (also take a look at separators, they aren't really separate anything): My Gnome Panel image

Can I increase the spacing between the launchers?

AFAIK this can be done by the editing of ~/.config/gtk-3.0/gtk.css. I've managed to toggle bold font setting for the panel this way. But I haven't found which parameter have an influence on the launcher and applet spacing.

Also the size of icons seems too big for me - they occupy all place from the top to the bottom of the panel, without any border. They were smaller when I was using 10.04. Is there any way to reduce their size also?

© Ask Ubuntu or respective owner

Related posts about customization

WebCenter Spaces 11g - UI Customization

as seen on Oracle Blogs - Search for 'Oracle Blogs'
When developing on top of a portal platform to support an intranet or extranet, a portion of the development time is spent adjusting the out-of-box user templates to adjust the look and feel of the platform for your organization. Generally your deployment will not need to look like anything like… >>> More
Part 2: The Customization Lifecycle

as seen on Oracle Blogs - Search for 'Oracle Blogs'
To understand the challenges when working with Customizations better, please allow me to explain my understanding from the Customization Lifecycle. The starting point is the functional GAP list. Any GAP can lead to a customization (but not have to). The decision is driven by priority, gain,… >>> More
Can't get JAX-WS binding customization to work

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi! I'm trying to resolve a name clash in a wsdl2java mapping with CXF 2.2.6 The relevant wsdl snippets are: <types>... <xs:schema... <xs:element name="GetBPK"> <xs:complexType> <xs:sequence> <xs:element name="PersonInfo"… >>> More
GWB | First Blogger Suggestion - More Customization To Skins

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
The first suggested item (and only at this point) was a higher level of skin customization on Geekswithblogs.net. Currently we have over 10 skins to pick from and the ability to change the CSS for those skins. In the skins list, you will find one labeled Naked that doesn't add any formatting, but… >>> More
seekbar progress customization

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi all, Using progress_horizontal.xml as a base drawable for my seekbar i was able to customize it pretty well. But unfortunately i stuck with the following problem. I need my progress to be made from two horizontal lines with different color something like this http://picasaweb.google.com/manigoad/Other#5442553107070487330… >>> More

Related posts about gnome-panel

GNOME panel crash

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
when trying to log in using gnome-classic on ubuntu 11.10 gnome-panel crashes. I can still see the desktop and i can open applications via terminal but when i try to run gnome-panel using "gnome-panel" or "gnome-panel --replace" it crashes with this error: (gnome-panel:9694): Gtk-CRITICAL **: gtk_style_context_get:… >>> More
Gnome panel not found

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
Hi I installed the Ubuntu 10.10 on my laptop. 1st time Ubuntu user ever. After successful installation only panel on top with small ubuntu logo on left and system/connections, time, keyboard, volume icons/ on right. No menu and not able to create menu. Right click on the panel - no options. I… >>> More
How to put "gnome-panel" like icons in GNOME 3?

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
I can't put icons on my GNOME-panel (I mean the right click on the panel doesn't works, and I can drag&drop icons from my Desktop to my gnome-panel): $ dpkg -l | grep -i gnome-panel ii gnome-panel 1:3.2.0-0ubuntu1 launcher and docking facility for GNOME ii gnome-panel-data 1:3.2… >>> More
how to reset gnome panel?

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
I think my gnome-panel is messed up because I alt+right click it and nothing pops up. I'm on 12.04, classic gnome desktop. so I used locate and found gnome-panel in .gconf somewhere, how do I clear just gnome-panel's settings so that I can add things to my panel again? edit: matt: ~/.gconf $… >>> More
Change Gnome-Panel profile at startup according to number of displays

as seen on Super User - Search for 'Super User'
I'm running Ubuntu 10.04 on a Laptop. I have a startup script which enables external displays, if they are connected. It runs at GDM startup, configured in /etc/gdm/Init/Default. When i'm running without external displays, Gnome should use 2 Panels. When i'm using 2 external displays, Gnome should… >>> More