// TODO: check this code
// Manage double-click
- static const long epsilon_time = 250;
+ static const long epsilon_time = 800;
static long last_click_time = -( epsilon_time << 1 );
long click_time = static_cast< long >( std::clock( ) );
if( ( click_time - last_click_time ) < epsilon_time )