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.

---
 include/Platform.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include/Platform.h')

diff --git a/include/Platform.h b/include/Platform.h
index eacf2302d..ee6e07c34 100644
--- a/include/Platform.h
+++ b/include/Platform.h
@@ -440,6 +440,7 @@ public:
 	static const char *DefaultFont();
 	static int DefaultFontSize();
 	static unsigned int DoubleClickTime();
+	static bool MouseButtonBounce();
 	static void DebugDisplay(const char *s);
 	static bool IsKeyDown(int key);
 	static long SendScintilla(
-- 
cgit v1.2.3