[gnome-shell] workspace: include the close button overlap in the right side chrome

[Cosimo Cecchi <cosimoc src gnome org>]

commit bc75e5ec44b66de3438a007e13202328fac21f7a
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu Dec 13 16:39:02 2012 -0500

    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 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 5676741..85fae08 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) {