diff options
| author | James Bursa <james@netsurf-browser.org> | 2004-03-28 00:29:29 +0000 |
|---|---|---|
| committer | James Bursa <james@netsurf-browser.org> | 2004-03-28 00:29:29 +0000 |
| commit | 776274f4a901900ffec5cc0c91324547b10c624c (patch) | |
| tree | 4f41d0d2edde816dfbd87df1717a392ce5468680 /riscos | |
| parent | 043d1e58c60717f14529369fa7398a8d68640a4c (diff) | |
| download | netsurf-776274f4a901900ffec5cc0c91324547b10c624c.tar.gz netsurf-776274f4a901900ffec5cc0c91324547b10c624c.tar.bz2 | |
[project @ 2004-03-28 00:29:29 by bursa]
Fix idle polling when events are scheduled.
svn path=/import/netsurf/; revision=684
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) { |