From 84f0d42e5d28af8fec65d4500f3384bb4d3896cc Mon Sep 17 00:00:00 2001
From: michaelmob <4530010+michaelmob@users.noreply.github.com>
Date: Sat, 18 Jun 2022 12:39:27 -0400
Subject: [PATCH] feat: Prevent accidental window movements/grabs

---
 src/extension.ts | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/extension.ts b/src/extension.ts
index c3833e96..5ed6b563 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -127,6 +127,9 @@ export class Ext extends Ecs.System<ExtEvent> {
 
     drag_signal: null | SignalID = null
 
+    /** Minimum amount of time for a window to be dragged to apply updates */
+    min_drag_ms: number = 100;
+
     /** If set, the user is currently selecting a window to add to floating exceptions */
     exception_selecting: boolean = false;
 
@@ -148,6 +151,9 @@ export class Ext extends Ecs.System<ExtEvent> {
     /** Information about a current possible grab operation */
     grab_op: GrabOp.GrabOp | null = null;
 
+    /** Timestamp of most recent window grab by mouse */
+    private grab_time: number = 0;
+
     /** A display config update is triggered on a workspace addition */
     ignore_display_update: boolean = false;
 
@@ -1065,6 +1071,11 @@ export class Ext extends Ecs.System<ExtEvent> {
             return;
         }
 
+        // Prevent accidental mouse drag
+        if ((+new Date()) - this.grab_time < this.min_drag_ms) {
+            op = undefined;  // reflow without updating tree
+        }
+
         this.on_grab_end_(win, op);
         this.unset_grab_op()
     }
@@ -1396,6 +1407,7 @@ export class Ext extends Ecs.System<ExtEvent> {
     /** Triggered when a grab operation has been started */
     on_grab_start(meta: null | Meta.Window, op: any) {
         if (!meta) return
+        this.grab_time = +new Date();  // timestamp
         let win = this.get_window(meta);
         if (win) {
             win.grab = true;