From bc75e5ec44b66de3438a007e13202328fac21f7a Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Thu, 13 Dec 2012 16:39:02 -0500
Subject: [PATCH] workspace: include the close button overlap in the right side
 chrome

As we do for the top side; the border is overlaied in the top/right
corner.

https://bugzilla.gnome.org/show_bug.cgi?id=682050
---
 js/ui/workspace.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 567674169..85fae0856 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -524,7 +524,8 @@ const WindowOverlay = new Lang.Class({
     },
 
     chromeWidths: function () {
-        return [this.borderSize, this.borderSize];
+        return [this.borderSize,
+                Math.max(this.borderSize, this.closeButton.width - this.closeButton._overlap)];
     },
 
     relayout: function(animate) {