diff options
| author | John Mark Bell <jmb@netsurf-browser.org> | 2004-09-29 03:33:24 +0000 |
|---|---|---|
| committer | John Mark Bell <jmb@netsurf-browser.org> | 2004-09-29 03:33:24 +0000 |
| commit | d718a30c573fc7b65fabd6d338a5e09d0b60fd38 (patch) | |
| tree | 5bff90e582ee6c6ca670694336249cb227c12601 /riscos/options.h | |
| parent | 4439cbc204f23277c40c12f76eac44c849a77bcc (diff) | |
| download | netsurf-d718a30c573fc7b65fabd6d338a5e09d0b60fd38.tar.gz netsurf-d718a30c573fc7b65fabd6d338a5e09d0b60fd38.tar.bz2 | |
[project @ 2004-09-29 03:33:24 by jmb]
Lose redundant font table.
Rework bold and italic font support.
This is now user-configurable but I've little intention of writing GUI Choices code for this.
Smallcaps is still broken and needs some thinking about - probably best to drop the smallcaps font variants and convert lowercase chars to uppercase. Quite how this works for non-latin text, I've no idea.
svn path=/import/netsurf/; revision=1293
Diffstat (limited to 'riscos/options.h')
| -rw-r--r-- | riscos/options.h | 56 |
1 files changed, 55 insertions, 1 deletions
diff --git a/riscos/options.h b/riscos/options.h index d653a6c4b..b7b22d64f 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -49,11 +49,29 @@ extern char *option_homepage_url; extern bool option_open_browser_at_startup; extern bool option_no_plugins; extern char *option_font_sans; +extern char *option_font_sans_italic; +extern char *option_font_sans_bold; +extern char *option_font_sans_bold_italic; extern char *option_font_serif; +extern char *option_font_serif_italic; +extern char *option_font_serif_bold; +extern char *option_font_serif_bold_italic; extern char *option_font_mono; +extern char *option_font_mono_italic; +extern char *option_font_mono_bold; +extern char *option_font_mono_bold_italic; extern char *option_font_cursive; +extern char *option_font_cursive_italic; +extern char *option_font_cursive_bold; +extern char *option_font_cursive_bold_italic; extern char *option_font_fantasy; +extern char *option_font_fantasy_italic; +extern char *option_font_fantasy_bold; +extern char *option_font_fantasy_bold_italic; extern char *option_font_default; +extern char *option_font_default_italic; +extern char *option_font_default_bold; +extern char *option_font_default_bold_italic; extern bool option_font_ufont; #define EXTRA_OPTION_DEFINE \ @@ -88,13 +106,31 @@ bool option_buffer_animations = true; \ bool option_buffer_everything = false; \ char *option_homepage_url = 0; \ bool option_open_browser_at_startup = false; \ -bool option_no_plugins = true; \ +bool option_no_plugins = false; \ char *option_font_sans = 0; \ +char *option_font_sans_italic = 0; \ +char *option_font_sans_bold = 0; \ +char *option_font_sans_bold_italic = 0; \ char *option_font_serif = 0; \ +char *option_font_serif_italic = 0; \ +char *option_font_serif_bold = 0; \ +char *option_font_serif_bold_italic = 0; \ char *option_font_mono = 0; \ +char *option_font_mono_italic = 0; \ +char *option_font_mono_bold = 0; \ +char *option_font_mono_bold_italic = 0; \ char *option_font_cursive = 0; \ +char *option_font_cursive_italic = 0; \ +char *option_font_cursive_bold = 0; \ +char *option_font_cursive_bold_italic = 0; \ char *option_font_fantasy = 0; \ +char *option_font_fantasy_italic = 0; \ +char *option_font_fantasy_bold = 0; \ +char *option_font_fantasy_bold_italic = 0; \ char *option_font_default = 0; \ +char *option_font_default_italic = 0; \ +char *option_font_default_bold = 0; \ +char *option_font_default_bold_italic = 0; \ bool option_font_ufont = false; #define EXTRA_OPTION_TABLE \ @@ -131,11 +167,29 @@ bool option_font_ufont = false; { "open_browser_at_startup",OPTION_BOOL, &option_open_browser_at_startup }, \ { "no_plugins", OPTION_BOOL, &option_no_plugins }, \ { "font_sans", OPTION_STRING, &option_font_sans }, \ +{ "font_sans_italic", OPTION_STRING, &option_font_sans_italic }, \ +{ "font_sans_bold", OPTION_STRING, &option_font_sans_bold }, \ +{ "font_sans_bold_italic", OPTION_STRING, &option_font_sans_bold_italic }, \ { "font_serif", OPTION_STRING, &option_font_serif }, \ +{ "font_serif_italic", OPTION_STRING, &option_font_serif_italic }, \ +{ "font_serif_bold", OPTION_STRING, &option_font_serif_bold }, \ +{ "font_serif_bold_italic", OPTION_STRING, &option_font_serif_bold_italic }, \ { "font_mono", OPTION_STRING, &option_font_mono }, \ +{ "font_mono_italic", OPTION_STRING, &option_font_mono_italic }, \ +{ "font_mono_bold", OPTION_STRING, &option_font_mono_bold }, \ +{ "font_mono_bold_italic", OPTION_STRING, &option_font_mono_bold_italic }, \ { "font_cursive", OPTION_STRING, &option_font_cursive }, \ +{ "font_cursive_italic", OPTION_STRING, &option_font_cursive_italic }, \ +{ "font_cursive_bold", OPTION_STRING, &option_font_cursive_bold }, \ +{ "font_cursive_bold_italic", OPTION_STRING, &option_font_cursive_bold_italic }, \ { "font_fantasy", OPTION_STRING, &option_font_fantasy }, \ +{ "font_fantasy_italic", OPTION_STRING, &option_font_fantasy_italic }, \ +{ "font_fantasy_bold", OPTION_STRING, &option_font_fantasy_bold }, \ +{ "font_fantasy_bold_italic", OPTION_STRING, &option_font_fantasy_bold_italic }, \ { "font_default", OPTION_STRING, &option_font_default }, \ +{ "font_default_italic", OPTION_STRING, &option_font_default_italic }, \ +{ "font_default_bold", OPTION_STRING, &option_font_default_bold }, \ +{ "font_default_bold_italic", OPTION_STRING, &option_font_default_bold_italic }, \ { "font_ufont", OPTION_BOOL, &option_font_ufont} #endif |