double_click_speed   93 lib/tty/key.c  int double_click_speed = 250;   /* ms */
double_click_speed  847 lib/tty/key.c          if (tv1 != 0 && tv2 - tv1 < (gint64) double_click_speed * MC_USEC_PER_MSEC)
double_click_speed   63 lib/tty/key.h  extern int double_click_speed;
double_click_speed  379 src/setup.c        { "double_click_speed", &double_click_speed },