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

[Cody Russell <bratsche src gnome org>]

commit 5d9a615c49efc555c575f61daa94ec6bc24de041
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 b165e88..38fa5a2 100644
--- a/gtk/gtkwindow.c
+++ b/gtk/gtkwindow.c
@@ -6844,7 +6844,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;