From 8bd077c8687654b34dc556491cbbf2315f779758 Mon Sep 17 00:00:00 2001 From: Balazs Gyurak Date: Sun, 5 Jan 2020 17:47:40 +0000 Subject: [PATCH] Fix whitespace --- extension.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extension.js b/extension.js index 80c90e8..6fbac63 100644 --- a/extension.js +++ b/extension.js @@ -815,7 +815,7 @@ function getActiveWorkspace() { return global.screen.get_active_workspace() } else { // mutter >= 3.29 let workspaceManager = global.workspace_manager; - return workspaceManager.get_active_workspace(); + return workspaceManager.get_active_workspace(); } }