From 9aa9454c6b641dc3483ad177aafdb53f11701fdf Mon Sep 17 00:00:00 2001
From: Robin Burchell <robin+git@viroteck.net>
Date: Tue, 21 May 2019 16:35:25 +0200
Subject: [PATCH] WindowServer: Don't eat a MouseUp when producing a
 MouseDoubleClick

Otherwise, double clicking a button will leave it in pressed state.
---
 Servers/WindowServer/WSWindowManager.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Servers/WindowServer/WSWindowManager.cpp b/Servers/WindowServer/WSWindowManager.cpp
index 1086e4972b..0f6aba62f3 100644
--- a/Servers/WindowServer/WSWindowManager.cpp
+++ b/Servers/WindowServer/WSWindowManager.cpp
@@ -749,10 +749,12 @@ void WSWindowManager::process_event_for_doubleclick(WSWindow& window, WSMouseEve
 
 void WSWindowManager::deliver_mouse_event(WSWindow& window, WSMouseEvent& event)
 {
+    window.event(event);
     if (event.type() == WSEvent::MouseUp) {
         process_event_for_doubleclick(window, event);
+        if (event.type() == WSEvent::MouseDoubleClick)
+            window.event(event);
     }
-    window.event(event);
 }
 
 void WSWindowManager::process_mouse_event(WSMouseEvent& event, WSWindow*& hovered_window)