Fix for uneven border width in browser window

[Felipe Morales <hel sheep gmail com>]

Hi,
I noticed the border width of the browser window is uneven in kupfer.
I'm attaching a patch to fix this small cosmetic glitch.
Regards,

Felipe Morales

>From 4445f6fe3524858e0e3d6c4a00f2122c9136eb95 Mon Sep 17 00:00:00 2001
From: Felipe Morales <hel sheep gmail com>
Date: Fri, 24 Jun 2011 15:46:40 -0400
Subject: [PATCH] ui: Fixed uneven width of rounded corners in browser window

---
 kupfer/ui/browser.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/kupfer/ui/browser.py b/kupfer/ui/browser.py
index 88c306c..4a28102 100644
--- a/kupfer/ui/browser.py
+++ b/kupfer/ui/browser.py
@@ -1800,7 +1800,7 @@ class KupferWindow (gtk.Window):
 			cr.fill()
 
 		c = widget.style.dark[gtk.STATE_SELECTED]
-		cr.set_operator(cairo.OPERATOR_OVER)
+		cr.set_operator(cairo.OPERATOR_ATOP)
 		cr.set_source_rgba(*rgba_from_gdk(c, 0.7))
 
 		make_rounded_rect(cr, 0, 0, w, h, radius)
-- 
1.7.5.4