Searched refs:last_keyboard_time (Results 1 – 6 of 6) sorted by relevance
168 double last_keyboard_time = 0.0; variable
604 extern double last_keyboard_time;
4228 } else if (button_mask || now < last_keyboard_time + 2*bogdown_time) {4325 if (fac == 1.0 && t2 < last_keyboard_time + cut3) {4414 if (tm < last_keyboard_time + 0.20) {
1609 } else if (now < last_keyboard_time + require_idle) { in check_xrecord_reset()
200 if (now > last_keyboard_time + 1.0 && now > last_pointer_time + 1.0) { in check_pointer_in_depth24()
3158 last_keyboard_time = tnow; in keyboard()