Menu and launcher spacing on the top panel is incorrect

[Oleg Moiseichuk]

System description: Ubuntu 12.04 LTS with GNOME Classic (using Compiz); light-themes version: 0.1.9.1-0ubuntu1.2

Bug description:
------------------
Main menu headers (Applications and Places) are placed too tightly in GNOME Classic session.
If you put some launchers on the top panel, they are also placed without any spacing (take a look at screenshot, notice separator items which really don't separate anything).

Proposed fix:
--------------
Add the padding property to the files:
/usr/share/themes/Ambiance/gtk-3.0/apps/gnome-panel.css
/usr/share/themes/Radiance/gtk-3.0/apps/gnome-panel.css

Code:
------
.gnome-panel-menu-bar.menubar .menuitem,
PanelWidget .button {
padding: 0px 4px;
}

Notes: I used 4 pixel padding for both objects, but this property can be set separately using different padding settings for each object. Launcher padding can be increased to 6 pixel to make it even with Indicator Applet icons padding, but we must bear in mind that bottom panel task buttons also will become wider, as they are also Panel Widgets.
Also remains unresolved issue with launcher icons size. As you can see on the applied screenshot they occupy all place from the top to the bottom of the panel, without any border. They ignore gtk-icon-sizes setting in /usr/share/themes/Ambiance/gtk-2.0/gtkrc and cannot be resized.

[Oleg Moiseichuk (berroll)]

The result of the patching can be seen on the screenshot (I also decreased the size of Ubuntu logo as the buttons become wider using gtk-icon-sizes = "panel-menu-bar=16,16" setting in ~/.config/gtk-3.0

[Daniel van Vugt (vanvugt)]

Thank you for reporting this bug to Ubuntu.
Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.

See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases

We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test.

[Launchpad Janitor (janitor)]

[Expired for ubuntu-themes (Ubuntu) because there has been no activity for 60 days.]