diff options
| author | Ole Loots <ole@monochrom.net> | 2011-12-21 21:13:13 +0000 |
|---|---|---|
| committer | Ole Loots <ole@monochrom.net> | 2011-12-21 21:13:13 +0000 |
| commit | dfcfe1258098caf9f6b0f18ae0707dbfb95da7e3 (patch) | |
| tree | 6e609c27dca2f5524651b5a55572e3c80ea699a1 /atari/options.h | |
| parent | 9a44d4b535328eca26157361dea0df5e42f04b40 (diff) | |
| download | netsurf-dfcfe1258098caf9f6b0f18ae0707dbfb95da7e3.tar.gz netsurf-dfcfe1258098caf9f6b0f18ae0707dbfb95da7e3.tar.bz2 | |
Add event listeners to WM_MOVED, WM_RESIZED, WM_FULLED instead of overwriting the default handlers. Removed option atari_realtime_move.
svn path=/trunk/netsurf/; revision=13311
Diffstat (limited to 'atari/options.h')
| -rwxr-xr-x | atari/options.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/atari/options.h b/atari/options.h index a6eacf304..e2bfc35f8 100755 --- a/atari/options.h +++ b/atari/options.h @@ -25,7 +25,6 @@ extern char * option_atari_font_driver; extern int option_atari_font_monochrom; extern int option_atari_dither; extern int option_atari_transparency; -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,7 +48,6 @@ char * option_atari_font_driver = (char*)"vdi";\ int option_atari_font_monochrom = 0;\ int option_atari_dither = 1;\ int option_atari_transparency = 1;\ -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;\ @@ -72,7 +70,6 @@ char *option_tree_icons_path = (char*)"./res/icons"; { "atari_font_monochrom", OPTION_INTEGER, &option_atari_font_monochrom },\ { "atari_transparency", OPTION_INTEGER, &option_atari_transparency },\ { "atari_dither", OPTION_INTEGER, &option_atari_dither },\ - { "atari_realtime_move", OPTION_INTEGER, &option_atari_realtime_move },\ { "atari_editor", OPTION_STRING, &option_atari_editor },\ { "font_face_sans_serif", OPTION_STRING, &option_atari_face_sans_serif },\ { "font_face_sans_serif_bold", OPTION_STRING, &option_atari_face_sans_serif_bold },\ |