diff options
| author | Ole Loots <ole@monochrom.net> | 2011-09-20 20:12:10 +0000 |
|---|---|---|
| committer | Ole Loots <ole@monochrom.net> | 2011-09-20 20:12:10 +0000 |
| commit | 28a6e411743bd15d073cd6f766ea5454242530e5 (patch) | |
| tree | 20ac27dab768b885e57c6d92c98fabca6ecf9568 /atari/options.h | |
| parent | 8bb14fa5695bb1e5b3960f1ecbba4e66aaec1baf (diff) | |
| download | netsurf-28a6e411743bd15d073cd6f766ea5454242530e5.tar.gz netsurf-28a6e411743bd15d073cd6f766ea5454242530e5.tar.bz2 | |
Added "view source" to context menu.
svn path=/trunk/netsurf/; revision=12826
Diffstat (limited to 'atari/options.h')
| -rwxr-xr-x | atari/options.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/atari/options.h b/atari/options.h index 0cf335343..1c70dbcb0 100755 --- a/atari/options.h +++ b/atari/options.h @@ -35,8 +35,9 @@ extern char *option_atari_face_monospace; /* monospace face */ extern char *option_atari_face_monospace_bold; /* monospace face */ extern char *option_atari_face_serif; /* serif face */ extern char *option_atari_face_serif_bold; /* bold serif face */ -extern char *option_atari_face_cursive; +extern char *option_atari_face_cursive; extern char *option_atari_face_fantasy; +extern char *option_atari_editor; extern char *option_downloads_path; extern char *option_url_file; extern char *option_hotlist_file; @@ -61,6 +62,7 @@ char *option_atari_face_serif;\ char *option_atari_face_serif_bold; \ char *option_atari_face_cursive; \ char *option_atari_face_fantasy; \ +char *option_atari_editor;\ char *option_downloads_path = (char*)"./"; \ char *option_url_file = (char*)"url.db";\ char *option_hotlist_file = (char*)"hotlist";\ @@ -74,6 +76,7 @@ char *option_tree_icons_path = (char*)"./res/icons"; { "atari_knockout", OPTION_INTEGER, &option_atari_knockout },\ { "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 },\ { "font_face_sans_serif_italic", OPTION_STRING, &option_atari_face_sans_serif_italic },\ |