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 676247 - Monitor label should have rounded corner
Monitor label should have rounded corner
Status: RESOLVED DUPLICATE of bug 591025
Product: gnome-desktop
Classification: Core
Component: libgnome-desktop
3.4.x
Other Linux
: Normal normal
: ---
Assigned To: Desktop Maintainers
Desktop Maintainers
Depends on:
Blocks:
 
 
Reported: 2012-05-17 14:48 UTC by Bastien Nocera
Modified: 2012-06-20 15:42 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Bastien Nocera 2012-05-17 14:48:03 UTC 
The monitor label shows up on the top-left of the screen, just under the activities button. Except that the label is square so one of the corner doesn't flush with the rounded edge to the workarea.
Comment 1 Bastien Nocera 2012-05-17 14:57:48 UTC 
The CSS is as follows:
http://git.gnome.org/browse/gnome-shell/tree/data/theme/gnome-shell.css#n359
Comment 2 Federico Mena Quintero 2012-05-17 17:39:59 UTC 
While you are prettifying this... would it be too much work to allow GnomeRRLabeler to give you a ready-painted widget/surface/whatever, so that the current output's label in the Display capplet would match the visual style of the labeler?  It has always bothered me that the labeler has a nice, thick black border, but the Display capplet's label only has a pastel color against the theme's gray background.
Comment 3 Bastien Nocera 2012-06-20 15:42:35 UTC 

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