GNOME Bugzilla – Bug 707091
Fix the margin of the toolbar
Last modified: 2013-08-31 17:51:07 UTC
See patches. This after comment from Allan Day. Note: need to update gtk+ and gnome-themes-standard before you check the patches, because defined of the padding in header-bar is change (in gtk+ and g-t-s).
Created attachment 253563 [details] [review] ephy-toolbar: Fix the margin on the left side of the separator
Created attachment 253564 [details] [review] ephy-window: Fix the margin of the toolbar
Review of attachment 253563 [details] [review]: OK.
Review of attachment 253564 [details] [review]: We really need some API in GTK+ to take care of RTL when defining margins.
Review of attachment 253563 [details] [review]: pushed as c22bf5b758a617ece45985b98e33de6dbbdac6d6 - ephy-toolbar: Fix the margin on the left side of the separator
Review of attachment 253564 [details] [review]: pushed as 36bf88b3bc6f3670807f10de2d2cefc781b57992 - ephy-window: Fix the margin of the toolbar
(In reply to comment #4) > Review of attachment 253564 [details] [review]: > > We really need some API in GTK+ to take care of RTL when defining margins. You right. I want to add in the next cycle some functions and properties for this: gtk_widget_{get,set}_margin_{start,end} and margin-{start,end} propertyies, and drop gtk_widget_{get,set}_margin_{left,right} and margin-{left,right} propertied.