diff options
| author | Ole Loots <ole@monochrom.net> | 2011-08-05 01:11:03 +0000 |
|---|---|---|
| committer | Ole Loots <ole@monochrom.net> | 2011-08-05 01:11:03 +0000 |
| commit | 33aebf6fd1986c52cc40e49e8d42455a7ffbe769 (patch) | |
| tree | 366ecb40cb085473732be6c9a07d9978f1de9161 /atari/options.h | |
| parent | a1f7517f39a9ee44cf056ddb2679ece3fbdd6a2f (diff) | |
| download | netsurf-33aebf6fd1986c52cc40e49e8d42455a7ffbe769.tar.gz netsurf-33aebf6fd1986c52cc40e49e8d42455a7ffbe769.tar.bz2 | |
housekeeping
svn path=/trunk/netsurf/; revision=12635
Diffstat (limited to 'atari/options.h')
| -rwxr-xr-x | atari/options.h | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/atari/options.h b/atari/options.h index f84789bd8..0cf335343 100755 --- a/atari/options.h +++ b/atari/options.h @@ -26,6 +26,7 @@ extern int option_atari_font_monochrom; extern int option_atari_dither; extern int option_atari_transparency; extern int option_atari_knockout; +extern int option_atari_realtime_move; extern char *option_atari_face_sans_serif; /* default sans face */ extern char *option_atari_face_sans_serif_bold; /* bold sans face */ extern char *option_atari_face_sans_serif_italic; /* bold sans face */ @@ -49,13 +50,14 @@ int option_atari_font_monochrom = 0;\ int option_atari_dither = 1;\ int option_atari_transparency = 1;\ int option_atari_knockout = 0;\ -char *option_atari_face_sans_serif; \ -char *option_atari_face_sans_serif_bold; \ -char *option_atari_face_sans_serif_italic; \ -char *option_atari_face_sans_serif_italic_bold; \ -char *option_atari_face_monospace; \ -char *option_atari_face_monospace_bold; \ -char *option_atari_face_serif; \ +int option_atari_realtime_move = 0; \ +char *option_atari_face_sans_serif;\ +char *option_atari_face_sans_serif_bold;\ +char *option_atari_face_sans_serif_italic;\ +char *option_atari_face_sans_serif_italic_bold;\ +char *option_atari_face_monospace;\ +char *option_atari_face_monospace_bold;\ +char *option_atari_face_serif;\ char *option_atari_face_serif_bold; \ char *option_atari_face_cursive; \ char *option_atari_face_fantasy; \ @@ -71,6 +73,7 @@ char *option_tree_icons_path = (char*)"./res/icons"; { "atari_transparency", OPTION_INTEGER, &option_atari_transparency },\ { "atari_knockout", OPTION_INTEGER, &option_atari_knockout },\ { "atari_dither", OPTION_INTEGER, &option_atari_dither },\ + { "atari_realtime_move", OPTION_INTEGER, &option_atari_realtime_move },\ { "font_face_sans_serif", OPTION_STRING, &option_atari_face_sans_serif },\ { "font_face_sans_serif_bold", OPTION_STRING, &option_atari_face_sans_serif_bold },\ { "font_face_sans_serif_italic", OPTION_STRING, &option_atari_face_sans_serif_italic },\ |