From 7e07b4dc7e38aa214691d161654cca8a2a665c2f Mon Sep 17 00:00:00 2001
From: Tom Beckmann <tomjonabc@gmail.com>
Date: Thu, 17 Jul 2014 01:31:35 +0200
Subject: [PATCH] draw highlight on half pixels to decrease impression of 1px
 rounded corners

---
 src/Widgets/WorkspaceClone.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Widgets/WorkspaceClone.vala b/src/Widgets/WorkspaceClone.vala
index 736146d1..1ce5db7c 100644
--- a/src/Widgets/WorkspaceClone.vala
+++ b/src/Widgets/WorkspaceClone.vala
@@ -48,7 +48,7 @@ namespace Gala
 			Cogl.Path.stroke ();
 
 			Cogl.set_source_color4ub (255, 255, 255, 25);
-			Cogl.Path.rectangle (1, 1, width - 2, height - 2);
+			Cogl.Path.rectangle (0.5f, 0.5f, width - 1, height - 1);
 			Cogl.Path.stroke ();
 		}
 	}