[gtk+/client-side-decorations: 21/50] Offset path by half a pixel so we get a nice thin line.

[Cody Russell <bratsche src gnome org>]

commit e58b116802befd57f71590ceaaddefb1e44077da
Author: Kristian Høgsberg <krh redhat com>
Date:   Thu May 21 13:36:36 2009 -0400

    Offset path by half a pixel so we get a nice thin line.

 gtk/gtkwindow.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkwindow.c b/gtk/gtkwindow.c
index e70fb3a..ac39e7a 100644
--- a/gtk/gtkwindow.c
+++ b/gtk/gtkwindow.c
@@ -6789,7 +6789,7 @@ paint_decorated_window (GtkStyle *style,
 {
   cairo_pattern_t *gradient;
   cairo_t *cr;
-  const int hmargin = 2, vmargin = 2, radius = 5;
+  const double hmargin = 2.5, vmargin = 2.5, radius = 5;
 
   if (width == -1)
     width = widget->allocation.width;