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 757301 - ui: Remove unnecessary trailing dots from preferences UI labels
ui: Remove unnecessary trailing dots from preferences UI labels
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: preferences
unspecified
Other All
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2015-10-29 12:15 UTC by Philip Withnall
Modified: 2015-10-29 16:06 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
ui: Remove unnecessary trailing dots from preferences UI labels (5.42 KB, patch)
2015-10-29 12:15 UTC, Philip Withnall 		committed Details | Review

Description Philip Withnall 2015-10-29 12:15:12 UTC 
Trivial patch attached. This changes translatable strings, so should not be applied if you’re still in string freeze.
Comment 1 Philip Withnall 2015-10-29 12:15:15 UTC 
Created attachment 314386 [details] [review]
ui: Remove unnecessary trailing dots from preferences UI labels

Checkbox labels should not have trailing dots.
Comment 2 Christian Hergert 2015-10-29 15:14:06 UTC 
Review of attachment 314386 [details] [review]:

LGTM
Comment 3 Philip Withnall 2015-10-29 16:06:48 UTC 
Attachment 314386 [details] pushed as ee289d0 - ui: Remove unnecessary trailing dots from preferences UI labels