[gnome-shell/gnome-3-28] workspace: Avoid setting an undefined width

[Florian Müllner <fmuellner src gnome org>]

commit 9e196d27655bb14a13a442e57dab03fec1157180
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Sep 4 17:29:06 2018 +0200

    workspace: Avoid setting an undefined width
    
    Since commit c04289853f the `width` parameter may be undefined, but
    it is still set unconditionally, whoops.

 js/ui/workspace.js | 1 -
 1 file changed, 1 deletion(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 06f2041c0..2bab2f87b 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -566,7 +566,6 @@ var WindowOverlay = new Lang.Class({
     _animateOverlayActor(actor, x, y, width, height) {
         let params = { x: x,
                        y: y,
-                       width: width,
                        time: Overview.ANIMATION_TIME,
                        transition: 'easeOutQuad' };