From 647c273bc7f97218914b1b57f9f7a10ad3beb715 Mon Sep 17 00:00:00 2001
From: nyamatongwe <unknown>
Date: Sun, 23 Feb 2003 02:05:55 +0000
Subject: Patch from Jakub Vrana to avoid mouse debouncing on Windows where
 assigning a key to double click can result in two mouse clicks arriving with
 the same time.

---
 src/Editor.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Editor.cxx b/src/Editor.cxx
index b156dd3ec..5f3020fc0 100644
--- a/src/Editor.cxx
+++ b/src/Editor.cxx
@@ -4338,7 +4338,7 @@ void Editor::ButtonDown(Point pt, unsigned int curTime, bool shift, bool ctrl, b
 		SetEmptySelection(newPos);
 		bool doubleClick = false;
 		// Stop mouse button bounce changing selection type
-		if (curTime != lastClickTime) {
+		if (!Platform::MouseButtonBounce() || curTime != lastClickTime) {
 			if (selectionType == selChar) {
 				selectionType = selWord;
 				doubleClick = true;
-- 
cgit v1.2.3