| changeset 2337 | ffd0e57e9563 |
| parent 2292 | f181418db215 |
| child 2339 | 7f11a567d236 |
| 2336:0dc317b5599d | 2337:ffd0e57e9563 |
|---|---|
353 return FALSE; |
353 return FALSE; |
354 } |
354 } |
355 |
355 |
356 static gboolean keyboard_activity(void) |
356 static gboolean keyboard_activity(void) |
357 { |
357 { |
358 keycode kcode; |
358 keycode_t kcode; |
359 |
359 |
360 if (terminate_ui) { |
360 if (terminate_ui) { |
361 return FALSE; |
361 return FALSE; |
362 } |
362 } |
363 scr_do_update(); |
363 scr_do_update(); |