display: Add edge thickness to labeler

The edge antialising in the label was bad due to the
small thickness.
Adding one pixel more to the thickness
looks better.

https://bugzilla.gnome.org/show_bug.cgi?id=727887
This commit is contained in:
Carlos Soriano 2014-04-09 13:02:40 +02:00 committed by Bastien Nocera
parent e168e2a665
commit 61453b1dbb

View file

@ -235,7 +235,7 @@ rounded_rectangle (cairo_t *cr,
#define LABEL_WINDOW_SIZE 80 #define LABEL_WINDOW_SIZE 80
#define LABEL_WINDOW_MARGIN 14 #define LABEL_WINDOW_MARGIN 14
#define LABEL_WINDOW_EDGE_THICKNESS 1 #define LABEL_WINDOW_EDGE_THICKNESS 2
#define LABEL_WINDOW_PADDING 12 #define LABEL_WINDOW_PADDING 12
/* Look for panel-corner in: /* Look for panel-corner in:
* http://git.gnome.org/browse/gnome-shell/tree/data/theme/gnome-shell.css * http://git.gnome.org/browse/gnome-shell/tree/data/theme/gnome-shell.css