diff options
Diffstat (limited to 'riscos')
| -rw-r--r-- | riscos/gui.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/riscos/gui.c b/riscos/gui.c index 89866c531..b58e5cc3c 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -307,6 +307,11 @@ void gui_poll(bool active) xhourglass_off(); if (active) { event = wimp_poll(mask, &block, 0); + } else if (sched_active && (over_window || gui_reformat_pending)) { + os_t t = os_read_monotonic_time() + 10; + if (sched_time < t) + t = sched_time; + event = wimp_poll_idle(mask, &block, t, 0); } else if (sched_active) { event = wimp_poll_idle(mask, &block, sched_time, 0); } else if (over_window || gui_reformat_pending) { |