diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js index 3885d85cc..504d32bc3 100644 --- a/js/ui/workspaceThumbnail.js +++ b/js/ui/workspaceThumbnail.js @@ -597,7 +597,7 @@ ThumbnailsBox.prototype = { // ... and bam, a workspace, good as new. source.metaWindow.change_workspace_by_index(newWorkspaceIndex, true, time); - else (source.shellWorkspaceLaunch) + else if (source.shellWorkspaceLaunch) source.shellWorkspaceLaunch({ workspace: newWorkspaceIndex, timestamp: time });