diff options
author | William Jon McCann <jmccann@redhat.com> | 2009-09-22 19:11:11 -0400 |
---|---|---|
committer | William Jon McCann <jmccann@redhat.com> | 2009-09-22 19:11:11 -0400 |
commit | 0412aa6eb0dfcfd5119afa2107574920aa51f66f (patch) | |
tree | 954db1433a205b8138467b1dc21ee7322349ade6 | |
parent | 66444bc831eaf1f850c82d765d8c2978c4ebd136 (diff) |
Give the border a little more relief
-rw-r--r-- | src/theme.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theme.c b/src/theme.c index 8de9d05..a62e95b 100644 --- a/src/theme.c +++ b/src/theme.c @@ -170,15 +170,15 @@ fill_background (GtkWidget *widget, case URGENCY_LOW: case URGENCY_NORMAL: default: - color = widget->style->bg [GTK_STATE_NORMAL]; + color = widget->style->dark [GTK_STATE_SELECTED]; break; } r = (float) color.red / 65535.0; g = (float) color.green / 65535.0; b = (float) color.blue / 65535.0; - cairo_set_source_rgba (cr, r, g, b, BACKGROUND_ALPHA); - cairo_set_line_width (cr, 2); + cairo_set_source_rgba (cr, r, g, b, BACKGROUND_ALPHA / 2); + cairo_set_line_width (cr, 1); cairo_stroke (cr); } |