fix(tiling): support resizing/moving windows with the mouse in GNOME 40

Fixes #932.

Author: laurentlbm

src/extension.ts

@@ -1789,14 +1789,24 @@ export class Ext extends Ecs.System<ExtEvent> {
             this.register({ tag: 3, window });
         });
 
-        this.connect(display, 'grab-op-begin', (_, _display, win, op) => {
-            this.on_grab_start(win, op);
-        });
+        if (GNOME_VERSION?.startsWith("3.")) {
+            // GNOME 40 removed the first argument of the callback
+            this.connect(display, 'grab-op-begin', (_, _display, win, op) => {
+                this.on_grab_start(win, op);
+            });
 
-        this.connect(display, 'grab-op-end', (_, _display, win, op) => {
-            this.register_fn(() => this.on_grab_end(win, op));
+            this.connect(display, 'grab-op-end', (_, _display, win, op) => {
+                this.register_fn(() => this.on_grab_end(win, op));
+            });
+        } else {
+            this.connect(display, 'grab-op-begin', (_display, win, op) => {
+                this.on_grab_start(win, op);
+            });
 
-        });
+            this.connect(display, 'grab-op-end', (_display, win, op) => {
+                this.register_fn(() => this.on_grab_end(win, op));
+            });
+        }
 
         this.connect(overview, 'window-drag-begin', (_, win) => {
             this.on_grab_start(win, 1)