/usr/share/cinnamon/js/ui/windowManager.js

README.md

Use:

  [root@rewarch ui]# patch windowManager.js < windowManager.js.patch 
  patching file windowManager.js

windowManager.js.patch

--- windowManager.js    2018-05-22 08:00:01.000000000 +0200
+++ windowManagerFIXED.js       2018-05-03 14:49:34.144800711 +0200
@@ -980,12 +980,10 @@
 
     _showWorkspaceSwitcher : function(display, screen, window, binding) {
         if (binding.get_name() == 'switch-to-workspace-up') {
-            Main.expo.toggle();
-            return;
+           this.actionMoveWorkspaceUp();
         }
         if (binding.get_name() == 'switch-to-workspace-down') {
-            Main.overview.toggle();
-            return;
+           this.actionMoveWorkspaceDown();
         }
 
         if (screen.n_workspaces == 1)