🐛 Fix pointer position if fractional scaling is disabled

Author: Schneegans

extension.js

@@ -94,6 +94,9 @@ export default class KandoIntegration extends Extension {
     // This is used to get the desktop's text scaling factor.
     this._shellSettings = new Gio.Settings({schema: 'org.gnome.desktop.interface'});
 
+    // This is used to get whether fractional scaling is enabled.
+    this._mutterSettings = new Gio.Settings({schema: 'org.gnome.mutter'});
+
     this._dbus = Gio.DBusExportedObject.wrapJSObject(DBUS_INTERFACE, this);
     this._dbus.export(Gio.DBus.session, '/org/gnome/shell/extensions/KandoIntegration');
 
@@ -147,7 +150,8 @@ export default class KandoIntegration extends Extension {
 
     Main.wm._shouldAnimateActor = this._origShouldAnimateActor;
 
-    this._shellSettings = null;
+    this._shellSettings  = null;
+    this._mutterSettings = null;
 
     this._dbus.flush();
     this._dbus.unexport();
@@ -214,6 +218,19 @@ export default class KandoIntegration extends Extension {
     const workArea  = workspace.get_work_area_for_monitor(monitor);
 
     const scalingFactor = this._shellSettings.get_double('text-scaling-factor');
+    const features      = this._mutterSettings.get_strv('experimental-features');
+
+    // If fractional scaling is disabled, the coordinates we get from global.get_pointer()
+    // are already scaled. If it's enabled, we need to scale them manually.
+    if (!features.includes('scale-monitor-framebuffer')) {
+      const monitorScale = global.display.get_monitor_scale(monitor);
+      x /= monitorScale;
+      y /= monitorScale;
+      workArea.x /= monitorScale;
+      workArea.y /= monitorScale;
+      workArea.width /= monitorScale;
+      workArea.height /= monitorScale;
+    }
 
     return [
       windowName, windowClass, Math.round(x / scalingFactor),

metadata.json

@@ -9,6 +9,6 @@
     "paypal": "simonschneegans"
   },
   "shell-version": ["45", "46", "47", "48", "49", "50"],
-  "version-name": "v0.10.0",
+  "version-name": "v0.11.0",
   "url": "https://github.com/kando-menu"
 }