GNOME Bugzilla – Bug 655522
Request gtk_widget_set_margin
Last modified: 2011-12-30 14:03:39 UTC
It is quite inconvenient to have to gtk_widget_set_margin_/top/bottom/left/right to do the same as gtk_misc_set_padding (blah, 0, 0)
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find. *** This bug has been marked as a duplicate of bug 629777 ***