From 9e196d27655bb14a13a442e57dab03fec1157180 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 4 Sep 2018 17:29:06 +0200
Subject: [PATCH] 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' };