diff options
| author | Rob Kendrick <rjek@netsurf-browser.org> | 2006-03-31 10:41:21 +0000 |
|---|---|---|
| committer | Rob Kendrick <rjek@netsurf-browser.org> | 2006-03-31 10:41:21 +0000 |
| commit | b875473027eeccb9233fbdcd7bb6516de301d4c0 (patch) | |
| tree | be94db40a24720b6b174f158e2c9746562274284 /riscos/options.h | |
| parent | 5d434ff0023f97b694d87d5dd4a498357a011f78 (diff) | |
| download | netsurf-b875473027eeccb9233fbdcd7bb6516de301d4c0.tar.gz netsurf-b875473027eeccb9233fbdcd7bb6516de301d4c0.tar.bz2 | |
[project @ 2006-03-31 10:41:21 by rjek]
Move default font face choices from RISC OS front end to core
svn path=/import/netsurf/; revision=2482
Diffstat (limited to 'riscos/options.h')
| -rw-r--r-- | riscos/options.h | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/riscos/options.h b/riscos/options.h index 4d0e6d322..de7d5e0e9 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -46,11 +46,6 @@ extern bool option_buffer_animations; extern bool option_buffer_everything; extern bool option_open_browser_at_startup; 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 bool option_block_popups; extern bool option_url_suggestion; extern int option_image_memory_direct; /* -1 means auto-detect */ @@ -94,14 +89,8 @@ bool option_window_size_clone = true; \ bool option_background_images = true; \ 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 = false; \ -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; \ bool option_block_popups = false; \ bool option_url_suggestion = true; \ int option_image_memory_direct = -1; \ @@ -147,11 +136,6 @@ char *option_theme_save = 0; { "buffer_everything", OPTION_BOOL, &option_buffer_everything }, \ { "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_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 }, \ { "block_popups", OPTION_BOOL, &option_block_popups }, \ { "url_suggestion", OPTION_BOOL, &option_url_suggestion }, \ { "image_memory_direct", OPTION_INTEGER, &option_image_memory_direct }, \ |