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 732681 - Docs: make GtkWidget:margin-start and margin-end clearer
Docs: make GtkWidget:margin-start and margin-end clearer
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Documentation
3.13.x
Other All
: Normal enhancement
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2014-07-03 12:18 UTC by Sébastien Wilmet
Modified: 2014-07-03 12:51 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
docs: make GtkWidget:margin-start and margin-end clearer (1.48 KB, patch)
2014-07-03 12:19 UTC, Sébastien Wilmet
committed Details | Review

Description Sébastien Wilmet 2014-07-03 12:18:42 UTC
See the attached patch.
Comment 1 Sébastien Wilmet 2014-07-03 12:19:30 UTC
Created attachment 279835 [details] [review]
docs: make GtkWidget:margin-start and margin-end clearer

margin-start and margin-end have been added for RTL support, see:
https://bugzilla.gnome.org/show_bug.cgi?id=710238

So those properties are used only for the horizontal direction: left or
right, not top or bottom.
Comment 2 Matthias Clasen 2014-07-03 12:43:44 UTC
Review of attachment 279835 [details] [review]:

Sure, looks like an improvement.
Comment 3 Sébastien Wilmet 2014-07-03 12:51:30 UTC
Comment on attachment 279835 [details] [review]
docs: make GtkWidget:margin-start and margin-end clearer

Pushed.