After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 323036 - GtkMenu: add horizontal-padding style property
GtkMenu: add horizontal-padding style property
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Widget: GtkMenu
2.8.x
Other All
: Normal enhancement
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2005-12-02 15:48 UTC by Michael Natterer
Modified: 2005-12-02 19:50 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Patch implementing the style property (5.96 KB, patch)
2005-12-02 15:50 UTC, Michael Natterer 		accepted-commit_now Details | Review

Description Michael Natterer 2005-12-02 15:48:46 UTC 
Attached patch from maemo-gtk adds a horizontal-padding style
property to GtkMenu (just as it already has a vertical-padding one)
It gived theme designers more possiblities and i see no reason why
the horizontal padding shouldn't be configurable just as the
vertical one.
Comment 1 Michael Natterer 2005-12-02 15:50:48 UTC 
Created attachment 55525 [details] [review]
Patch implementing the style property
Comment 2 Michael Natterer 2005-12-02 18:55:23 UTC 
Apparently large menu borders also need a fix for bug #149257
in order to behave sanely.
Comment 3 Matthias Clasen 2005-12-02 19:32:18 UTC 
Looks harmless enough. Is the maemo theme actually using that ?
Comment 4 Michael Natterer 2005-12-02 19:44:29 UTC 
Yes, maemo uses that and it imho makes sense, visually.
Comment 5 Michael Natterer 2005-12-02 19:50:41 UTC 
Fixed in CVS:

2005-12-02  Michael Natterer  <mitch@imendio.com>

	* gtk/gtkmenu.c: applied modified patch from maemo-gtk which
	adds a "horizontal-padding" style property. Fixes bug #323036.