Searched refs:last_keyboard_time (Results 1 – 6 of 6) sorted by relevance
164 double last_keyboard_time = 0.0; variable
592 extern double last_keyboard_time;
4213 } else if (button_mask || now < last_keyboard_time + 2*bogdown_time) {4310 if (fac == 1.0 && t2 < last_keyboard_time + cut3) {4399 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()
3140 last_keyboard_time = tnow; in keyboard()