Florian Müllner 9e196d2765 workspace: Avoid setting an undefined width
Since commit c04289853f the `width` parameter may be undefined, but
it is still set unconditionally, whoops.
2018-09-04 17:30:56 +02:00
..
2018-02-21 13:54:58 +00:00
2018-02-21 13:55:02 +00:00