diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js index 5cd6802e6..4e2a18b5b 100644 --- a/js/ui/windowMenu.js +++ b/js/ui/windowMenu.js @@ -97,8 +97,6 @@ const WindowMenu = new Lang.Class({ if (window.is_always_on_all_workspaces()) item.setSensitive(false); - let nWorkspaces = global.screen.n_workspaces; - if (!isSticky) { let workspace = window.get_workspace(); if (workspace != workspace.get_neighbor(Meta.MotionDirection.LEFT)) {