diff options
author | Vincent Sanders <vince@kyllikki.org> | 2014-06-26 18:56:42 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2014-06-26 19:05:59 +0100 |
commit | 8944edd649e74e4864f36d7293921385ba5ca2c7 (patch) | |
tree | 1a901e8323944bcee35b972328812ed559b87950 /riscos/gui.c | |
parent | 1b7aa7ffe53843f072e3de5e28bdf06faa7980b9 (diff) | |
download | netsurf-8944edd649e74e4864f36d7293921385ba5ca2c7.tar.gz netsurf-8944edd649e74e4864f36d7293921385ba5ca2c7.tar.bz2 |
convert all frontends to scheduled fetch operation
Diffstat (limited to 'riscos/gui.c')
-rw-r--r-- | riscos/gui.c | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/riscos/gui.c b/riscos/gui.c index 09f254bb4..00f6ebc11 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -1852,24 +1852,19 @@ static void ro_gui_handle_event(wimp_event_no event, wimp_block *block) /** - * Poll the OS for events (RISC OS). - * - * \param active return as soon as possible + * Poll the RISC OS wimp for events. */ static void riscos_poll(bool active) { wimp_event_no event; wimp_block block; - const wimp_poll_flags mask = wimp_MASK_LOSE | wimp_MASK_GAIN | - wimp_SAVE_FP; + const wimp_poll_flags mask = wimp_MASK_LOSE | wimp_MASK_GAIN | wimp_SAVE_FP; os_t track_poll_offset; /* Poll wimp. */ xhourglass_off(); track_poll_offset = ro_mouse_poll_interval(); - if (active) { - event = wimp_poll(mask, &block, 0); - } else if (sched_active || (track_poll_offset > 0) || + if (sched_active || (track_poll_offset > 0) || browser_reformat_pending) { os_t t = os_read_monotonic_time(); |