x11-wm/fluxbox/files/0.9.15/129065-fix-doubleclick-64bit.patch


1
2
3
4
5
6
7
8
9
10
11

--- trunk/src/FbWinFrame.cc	2006/04/09 13:38:13	4293
+++ trunk/src/FbWinFrame.cc	2006/04/14 14:32:16	4300
@@ -856,7 +856,7 @@
     if (event.button < 1 || event.button > 5)
         return;
 
-    static int last_release_time = 0;
+    static Time last_release_time = 0;
     bool double_click = (event.time - last_release_time <= m_double_click_time);
     last_release_time = event.time;
     int real_button = event.button - 1;