diff options
author | John Mark Bell <jmb@netsurf-browser.org> | 2004-09-13 23:56:18 +0000 |
---|---|---|
committer | John Mark Bell <jmb@netsurf-browser.org> | 2004-09-13 23:56:18 +0000 |
commit | c358b80cc51146b49a73bc33a58f4040d6258ce1 (patch) | |
tree | 4782334ff22894bf1a2c349e846ccae91e3ba4f4 /riscos/options.h | |
parent | 8e0b3d8136587ce645f2498da85a308a35887d85 (diff) | |
download | netsurf-c358b80cc51146b49a73bc33a58f4040d6258ce1.tar.gz netsurf-c358b80cc51146b49a73bc33a58f4040d6258ce1.tar.bz2 |
[project @ 2004-09-13 23:56:18 by jmb]
Make fonts user-configurable.
This loses font-style support, though it shouldn't be hard to put it back again.
svn path=/import/netsurf/; revision=1274
Diffstat (limited to 'riscos/options.h')
-rw-r--r-- | riscos/options.h | 28 |
1 files changed, 25 insertions, 3 deletions
diff --git a/riscos/options.h b/riscos/options.h index 7ea9c3560..d653a6c4b 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -47,7 +47,14 @@ extern bool option_buffer_animations; extern bool option_buffer_everything; extern char *option_homepage_url; extern bool option_open_browser_at_startup; -extern bool option_plugins; +extern bool option_no_plugins; +extern char *option_font_sans; +extern char *option_font_serif; +extern char *option_font_mono; +extern char *option_font_cursive; +extern char *option_font_fantasy; +extern char *option_font_default; +extern bool option_font_ufont; #define EXTRA_OPTION_DEFINE \ bool option_use_mouse_gestures = false;\ @@ -81,7 +88,14 @@ bool option_buffer_animations = true; \ bool option_buffer_everything = false; \ char *option_homepage_url = 0; \ bool option_open_browser_at_startup = false; \ -bool option_plugins = false; +bool option_no_plugins = true; \ +char *option_font_sans = 0; \ +char *option_font_serif = 0; \ +char *option_font_mono = 0; \ +char *option_font_cursive = 0; \ +char *option_font_fantasy = 0; \ +char *option_font_default = 0; \ +bool option_font_ufont = false; #define EXTRA_OPTION_TABLE \ { "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ @@ -115,5 +129,13 @@ bool option_plugins = false; { "buffer_everything", OPTION_BOOL, &option_buffer_everything }, \ { "homepage_url", OPTION_STRING, &option_homepage_url }, \ { "open_browser_at_startup",OPTION_BOOL, &option_open_browser_at_startup }, \ -{ "plugins", OPTION_BOOL, &option_plugins } +{ "no_plugins", OPTION_BOOL, &option_no_plugins }, \ +{ "font_sans", OPTION_STRING, &option_font_sans }, \ +{ "font_serif", OPTION_STRING, &option_font_serif }, \ +{ "font_mono", OPTION_STRING, &option_font_mono }, \ +{ "font_cursive", OPTION_STRING, &option_font_cursive }, \ +{ "font_fantasy", OPTION_STRING, &option_font_fantasy }, \ +{ "font_default", OPTION_STRING, &option_font_default }, \ +{ "font_ufont", OPTION_BOOL, &option_font_ufont} + #endif |