From dc46f3c00e60ecbca323ea661c02c146943024cf Mon Sep 17 00:00:00 2001
From: nyamatongwe <devnull@localhost>
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.

---
 gtk/PlatGTK.cxx | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'gtk')

diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx
index 8afe2bcba..0a84f46a1 100644
--- a/gtk/PlatGTK.cxx
+++ b/gtk/PlatGTK.cxx
@@ -1686,6 +1686,10 @@ unsigned int Platform::DoubleClickTime() {
 	return 500; 	// Half a second
 }
 
+bool Platform::MouseButtonBounce() {
+	return true;
+}
+
 void Platform::DebugDisplay(const char *s) {
 	printf("%s", s);
 }
-- 
cgit v1.2.3