diff options
author | Ole Loots <ole@monochrom.net> | 2013-11-23 17:52:33 +0100 |
---|---|---|
committer | Ole Loots <ole@monochrom.net> | 2013-11-23 17:52:33 +0100 |
commit | 418a6f7edd678461c106e0e5b01183400c0746a1 (patch) | |
tree | 328124192a4c089699af7cb8ed3ddaf1f237117e /atari/gui.c | |
parent | 65ebba7b5152af154f0b8806a5ae4cf2fb68d2f8 (diff) | |
download | netsurf-418a6f7edd678461c106e0e5b01183400c0746a1.tar.gz netsurf-418a6f7edd678461c106e0e5b01183400c0746a1.tar.bz2 |
Added GUI pol timeout selection popup.
The user must decide for himself. Default to 0, which eats
GUI resources but speeds-up rendering.
Diffstat (limited to 'atari/gui.c')
-rw-r--r-- | atari/gui.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/atari/gui.c b/atari/gui.c index 427dd5498..8cbe416b3 100644 --- a/atari/gui.c +++ b/atari/gui.c @@ -125,7 +125,7 @@ void gui_poll(bool active) aes_event_in.emi_tlow = schedule_run(); if(active || rendering){ - aes_event_in.emi_tlow = 10; + aes_event_in.emi_tlow = nsoption_int(atari_gui_poll_timeout); } if(aes_event_in.emi_tlow < 0) { |