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/options.h | |
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/options.h')
-rwxr-xr-x | atari/options.h | 1 |
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) |