workspace: Avoid setting an undefined width

Since commit c04289853f the `width` parameter may be undefined, but
it is still set unconditionally, whoops.
This commit is contained in:
Florian Müllner 2018-09-04 17:29:06 +02:00
parent 94897492be
commit 9e196d2765

View File

@ -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' };