call window.activate() with the right arguments. fixes timbertson#79

gnu-user · May 22, 2012 · 0ef369c · 0ef369c
1 parent 90cea72
commit 0ef369c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shellshape/extension.js b/shellshape/extension.js
@@ -212,7 +212,7 @@ const Ext = function Ext() {
 			window.move_to_workspace(new_index);
 			next_workspace.activate_with_focus(window.meta_window, global.get_current_time())
 		} else {
-			next_workspace.activate(true);
+			next_workspace.activate(global.get_current_time());
 		}
 	};