Add keyboard shortcuts for warping the mouse pointer between

monitors.

When working with multiple monitors, it is tedious and fatiguing
to move your pointer manually when changing focus from one monitor
to another - especially if you have more than two.

This will enable the user to assign shortcuts to warp the pointer
to the next and previous logical monitors.

An additional setting will specify either centering the pointer
on the new monitor, or maintaining the relative position it had on
the previous one.

Author: mtwebster

data/org.cinnamon.gschema.xml

@@ -515,6 +515,12 @@
       </description>
     </key>
 
+    <key type="b" name="center-warped-pointer">
+      <default>true</default>
+      <summary>Center the pointer on the new monitor</summary>
+      <description>If true, the pointer will be set to the center of the new monitor when using pointer next/previous shortcuts.</description>
+    </key>
+
     <child name="theme" schema="org.cinnamon.theme"/>
     <child name="recorder" schema="org.cinnamon.recorder"/>
     <child name="keyboard" schema="org.cinnamon.keyboard"/>

files/usr/share/cinnamon/cinnamon-settings/modules/cs_keyboard.py

@@ -43,7 +43,8 @@
     [_("Sound and Media"),  "media",            None,       "applications-multimedia"],
     [_("Quiet Keys"),           "media-quiet",      "media",        None],
     [_("Universal Access"), "accessibility",    None,       "preferences-desktop-accessibility"],
-    [_("Custom Shortcuts"), "custom",           None,       "cinnamon-panel-launcher"]
+    [_("Custom Shortcuts"), "custom",           None,       "cinnamon-panel-launcher"],
+    [_("Pointer"),          "pointer",          "general",  None]
 ]
 
 KEYBINDINGS = [
@@ -62,6 +63,9 @@
     [_("Run dialog"), MUFFIN_KEYBINDINGS_SCHEMA, "panel-run-dialog", "general"],
     # General - Troubleshooting
     [_("Toggle Looking Glass"), CINNAMON_SCHEMA, "looking-glass-keybinding", "trouble"],
+    # General - Pointer
+    [_("Move pointer to the next monitor"), CINNAMON_SCHEMA, "pointer-next-monitor", "pointer"],
+    [_("Move pointer to the previous monitor"), CINNAMON_SCHEMA, "pointer-previous-monitor", "pointer"],
     # Windows
     [_("Maximize window"), MUFFIN_KEYBINDINGS_SCHEMA, "maximize", "windows"],
     [_("Unmaximize window"), MUFFIN_KEYBINDINGS_SCHEMA, "unmaximize", "windows"],

js/misc/pointerTracker.js

@@ -1,5 +1,8 @@
 // -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
 const Gdk = imports.gi.Gdk;
+const Gio = imports.gi.Gio;
+const Keybindings = imports.ui.keybindings;
+const Main = imports.ui.main;
 
 function PointerTracker(){
     this._init();
@@ -31,3 +34,91 @@ PointerTracker.prototype = {
         };
     }
 };
+
+
+var PointerSwitcher = class {
+    constructor(wm) {
+        this.settings = new Gio.Settings({ schema_id: "org.cinnamon.desktop.keybindings" });
+        this.settings.connect("changed", (settings, key) => {
+            if (["pointer-next-monitor", "pointer-previous-monitor"].includes(key)) {
+                this.update_settings();
+            }
+        });
+
+        this.update_settings()
+    }
+
+    update_settings() {
+        Main.keybindingManager.addHotKeyArray(
+            "pointer-next-monitor",
+            this.settings.get_strv("pointer-next-monitor"),
+            () => this.next_monitor()
+        );
+
+        Main.keybindingManager.addHotKeyArray(
+            "pointer-previous-monitor",
+            this.settings.get_strv("pointer-previous-monitor"),
+            () => this.previous_monitor()
+        );
+    }
+
+    get_normalized_pointer_position_for_monitor(index) {
+        let [global_x, global_y, mods] = global.get_pointer();
+        const monitor = Main.layoutManager.monitors[index];
+
+        let rx = global_x - monitor.x;
+        let ry = global_y - monitor.y;
+
+        let nx = rx / monitor.width;
+        let ny = ry / monitor.height;
+
+        if (nx < 0 || nx > 1.0)
+            nx = 0.5;
+        if (ny < 0 || ny > 1.0)
+            ny = 0.5;
+
+        return [nx, ny];
+    }
+
+    get_real_pointer_position(index, nx, ny) {
+        const monitor = Main.layoutManager.monitors[index];
+
+        let real_x = (nx * monitor.width) + monitor.x;
+        let real_y = (nx * monitor.height) + monitor.y;
+
+        return [real_x, real_y];
+    }
+
+    next_monitor() {
+        const current = global.display.get_current_monitor();
+        const max = global.display.get_n_monitors() - 1;
+        const new_mon = current + 1 <= max ? current + 1 : 0;
+
+        this.move_from_to_monitor(current, new_mon);
+    }
+
+    previous_monitor() {
+        const current = global.display.get_current_monitor();
+        const max = global.display.get_n_monitors() - 1;
+        const new_mon = current - 1 >= 0 ? current - 1 : max;
+
+        this.move_from_to_monitor(current, new_mon);
+    }
+
+    move_from_to_monitor(from_i, to_i) {
+        const center = global.settings.get_boolean("center-warped-pointer")
+
+        let nx, ny;
+
+        if (global.settings.get_boolean("center-warped-pointer")) {
+            nx = ny = 0.5;
+        } else {
+            [nx, ny] = this.get_normalized_pointer_position_for_monitor(from_i);
+        }
+
+        let [x, y] = this.get_real_pointer_position(to_i, nx, ny);
+
+        global.set_pointer(x, y);
+    }
+};
+

js/ui/main.js

@@ -168,6 +168,7 @@ var tracker = null;
 var settingsManager = null;
 var systrayManager = null;
 var wmSettings = null;
+var pointerSwitcher = null;
 
 var workspace_names = [];
 
@@ -383,6 +384,8 @@ function start() {
     pointerTracker.setPosition(layoutManager.primaryMonitor.x + layoutManager.primaryMonitor.width/2,
         layoutManager.primaryMonitor.y + layoutManager.primaryMonitor.height/2);
 
+    pointerSwitcher = new PointerTracker.PointerSwitcher();
+
     xdndHandler = new XdndHandler.XdndHandler();
     osdWindowManager = new OsdWindow.OsdWindowManager();
     // This overview object is just a stub for non-user sessions