double_click_speed   93 lib/tty/key.c  int double_click_speed = 250;
double_click_speed  843 lib/tty/key.c          if (tv1.tv_sec != 0 && DIF_TIME (tv1, tv2) < double_click_speed)
double_click_speed   63 lib/tty/key.h  extern int double_click_speed;
double_click_speed  376 src/setup.c        { "double_click_speed", &double_click_speed },