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 742247 - Remove unnecessary border in preferences dialog
Remove unnecessary border in preferences dialog
Status: RESOLVED FIXED
Product: totem
Classification: Core
Component: general
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: General Totem maintainer(s)
General Totem maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2015-01-03 02:49 UTC by Trinh Anh Ngoc
Modified: 2015-01-05 13:50 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Screenshot (24.93 KB, image/png)
2015-01-03 02:49 UTC, Trinh Anh Ngoc 		  Details
Set border width of preferences dialog to zero (716 bytes, patch)
2015-01-03 02:51 UTC, Trinh Anh Ngoc 		committed Details | Review

Description Trinh Anh Ngoc 2015-01-03 02:49:57 UTC 
Created attachment 293625 [details]
Screenshot

Set border width to 0.
Comment 1 Trinh Anh Ngoc 2015-01-03 02:51:17 UTC 
Created attachment 293626 [details] [review]
Set border width of preferences dialog to zero
Comment 2 Bastien Nocera 2015-01-05 13:50:44 UTC 
Pushed to gnome-3-14 and master after fixing up the commit subject