From 418a6f7edd678461c106e0e5b01183400c0746a1 Mon Sep 17 00:00:00 2001 From: Ole Loots Date: Sat, 23 Nov 2013 17:52:33 +0100 Subject: Added GUI pol timeout selection popup. The user must decide for himself. Default to 0, which eats GUI resources but speeds-up rendering. --- atari/options.h | 1 + 1 file changed, 1 insertion(+) (limited to 'atari/options.h') 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) -- cgit v1.2.3