--- fluxbox-1.0rc2/src/FbWinFrame.cc 2006-06-27 22:08:47.000000000 +0200 +++ fluxbox-1.0rc2/src/FbWinFrame.cc 2006-07-18 19:59:55.000000000 +0200 @@ -881,7 +881,7 @@ return; static Time last_release_time = 0; - bool double_click = (event.time - last_release_time <= m_double_click_time); + bool double_click = ((int)(event.time - last_release_time) <= m_double_click_time); last_release_time = event.time; int real_button = event.button - 1;