summaryrefslogtreecommitdiff
path: root/atari/options.h
diff options
context:
space:
mode:
authorOle Loots <ole@monochrom.net>2013-11-23 17:52:33 +0100
committerOle Loots <ole@monochrom.net>2013-11-23 17:52:33 +0100
commit418a6f7edd678461c106e0e5b01183400c0746a1 (patch)
tree328124192a4c089699af7cb8ed3ddaf1f237117e /atari/options.h
parent65ebba7b5152af154f0b8806a5ae4cf2fb68d2f8 (diff)
downloadnetsurf-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/options.h')
-rwxr-xr-xatari/options.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/atari/options.h b/atari/options.h
index 7a4da6a15..4ae847d74 100755
--- a/atari/options.h
+++ b/atari/options.h
@@ -28,6 +28,7 @@ NSOPTION_STRING(atari_font_driver, "freetype")
NSOPTION_INTEGER(atari_font_monochrom, 0)
NSOPTION_INTEGER(atari_transparency, 1)
NSOPTION_INTEGER(atari_dither, 1)
+NSOPTION_INTEGER(atari_gui_poll_timeout, 0)
NSOPTION_STRING(atari_editor, NULL)
NSOPTION_STRING(font_face_sans_serif, NULL)
NSOPTION_STRING(font_face_sans_serif_bold, NULL)