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 651310 - Round controls are not rounded
Round controls are not rounded
Status: RESOLVED DUPLICATE of bug 649513
Product: gnome-shell
Classification: Core
Component: general
3.0.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2011-05-28 07:24 UTC by Misha Shnurapet
Modified: 2011-05-28 07:31 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
screenshot (27.87 KB, image/png)
2011-05-28 07:24 UTC, Misha Shnurapet 		Details

Description Misha Shnurapet 2011-05-28 07:24:35 UTC 
Created attachment 188800 [details]
screenshot

When font size is subject to change controls with round sides become pointed (see the screenshot attached).
Comment 1 Jasper St. Pierre (not reading bugmail) 2011-05-28 07:31:18 UTC 
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.

Can you test either of the patches to make sure it fixes the bug?

http://bugzilla-attachments.gnome.org/attachment.cgi?id=187939
or
http://bugzilla-attachments.gnome.org/attachment.cgi?id=187998

*** This bug has been marked as a duplicate of bug 649513 ***