The source project of this merge request has been removed.
workspace: Stop application close button being cut off
Window overlays are scaled and positioned with respect to the size of their clone plus their border. The actual chrome width, which includes the close button, is not considered. Therefore, when an overlay is positioned at the edge of the view selector, the close button will be cut off past the overlay's border. So we move the right edge left by the overhang.