2003-06-30 16:44:03 +04:00
|
|
|
/*
|
|
|
|
* This file is part of NetSurf, http://netsurf.sourceforge.net/
|
|
|
|
* Licensed under the GNU General Public License,
|
|
|
|
* http://www.opensource.org/licenses/gpl-license
|
|
|
|
* Copyright 2003 Phil Mellor <monkeyson@users.sourceforge.net>
|
2004-02-13 19:09:12 +03:00
|
|
|
* Copyright 2004 James Bursa <bursa@users.sourceforge.net>
|
2004-05-23 16:22:05 +04:00
|
|
|
* Copyright 2004 Richard Wilson <not_ginger_matt@users.sourceforge.net>
|
2004-02-13 19:09:12 +03:00
|
|
|
*/
|
|
|
|
|
|
|
|
/** \file
|
|
|
|
* RISC OS specific options.
|
2003-06-06 06:14:28 +04:00
|
|
|
*/
|
2003-06-02 03:02:56 +04:00
|
|
|
|
|
|
|
#ifndef _NETSURF_RISCOS_OPTIONS_H_
|
|
|
|
#define _NETSURF_RISCOS_OPTIONS_H_
|
|
|
|
|
2005-02-23 02:36:14 +03:00
|
|
|
#include "netsurf/css/css.h"
|
2003-06-02 03:02:56 +04:00
|
|
|
#include "netsurf/desktop/options.h"
|
2004-11-03 02:23:07 +03:00
|
|
|
#include "netsurf/riscos/tinct.h"
|
2003-06-02 03:02:56 +04:00
|
|
|
|
2004-02-14 02:07:42 +03:00
|
|
|
extern bool option_use_mouse_gestures;
|
|
|
|
extern bool option_allow_text_selection;
|
2004-02-13 19:09:12 +03:00
|
|
|
extern char *option_theme;
|
2004-02-27 17:09:15 +03:00
|
|
|
extern char *option_language;
|
2004-11-03 02:23:07 +03:00
|
|
|
extern int option_fg_plot_style; /* tinct flagword */
|
|
|
|
extern int option_bg_plot_style; /* tinct flagword */
|
2004-04-10 22:12:58 +04:00
|
|
|
extern bool option_thumbnail_32bpp;
|
2004-04-13 01:46:08 +04:00
|
|
|
extern bool option_history_tooltip;
|
2004-05-05 02:23:44 +04:00
|
|
|
extern int option_scale;
|
|
|
|
extern int option_toolbar_status_width;
|
|
|
|
extern bool option_toolbar_show_status;
|
|
|
|
extern bool option_toolbar_show_buttons;
|
|
|
|
extern bool option_toolbar_show_address;
|
|
|
|
extern bool option_toolbar_show_throbber;
|
2004-05-23 16:22:05 +04:00
|
|
|
extern int option_window_x;
|
|
|
|
extern int option_window_y;
|
|
|
|
extern int option_window_width;
|
|
|
|
extern int option_window_height;
|
|
|
|
extern int option_window_screen_width;
|
|
|
|
extern int option_window_screen_height;
|
2004-06-27 18:41:14 +04:00
|
|
|
extern bool option_window_stagger;
|
2004-06-28 23:35:04 +04:00
|
|
|
extern bool option_window_size_clone;
|
2004-06-11 02:11:44 +04:00
|
|
|
extern bool option_background_images;
|
2004-06-25 20:52:01 +04:00
|
|
|
extern bool option_background_blending;
|
2004-07-20 03:35:12 +04:00
|
|
|
extern bool option_buffer_animations;
|
2004-07-21 00:02:59 +04:00
|
|
|
extern bool option_buffer_everything;
|
2004-07-27 00:13:45 +04:00
|
|
|
extern char *option_homepage_url;
|
|
|
|
extern bool option_open_browser_at_startup;
|
2004-09-14 03:56:18 +04:00
|
|
|
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;
|
2005-02-23 02:36:14 +03:00
|
|
|
extern int option_font_default; /* a css_font_family */
|
2004-09-29 07:33:24 +04:00
|
|
|
extern char *option_font_default_italic;
|
|
|
|
extern char *option_font_default_bold;
|
|
|
|
extern char *option_font_default_bold_italic;
|
2005-01-21 02:17:08 +03:00
|
|
|
extern int option_screen_cache;
|
2005-02-03 13:04:06 +03:00
|
|
|
extern bool option_block_popups;
|
2005-02-07 17:28:43 +03:00
|
|
|
extern bool option_url_suggestion;
|
2003-06-02 03:02:56 +04:00
|
|
|
|
2004-02-13 19:09:12 +03:00
|
|
|
#define EXTRA_OPTION_DEFINE \
|
2004-02-14 02:07:42 +03:00
|
|
|
bool option_use_mouse_gestures = false;\
|
|
|
|
bool option_allow_text_selection = true;\
|
2004-02-27 17:09:15 +03:00
|
|
|
char *option_theme = 0;\
|
2004-03-09 13:24:52 +03:00
|
|
|
char *option_language = 0;\
|
2004-11-03 02:23:07 +03:00
|
|
|
int option_fg_plot_style = tinct_ERROR_DIFFUSE;\
|
|
|
|
int option_bg_plot_style = tinct_DITHER;\
|
2004-04-10 22:12:58 +04:00
|
|
|
bool option_thumbnail_32bpp = true;\
|
2004-05-05 02:23:44 +04:00
|
|
|
bool option_history_tooltip = true; \
|
|
|
|
int option_scale = 100; \
|
2004-08-31 01:03:48 +04:00
|
|
|
int option_toolbar_status_width = 5000; \
|
2004-05-05 02:23:44 +04:00
|
|
|
bool option_toolbar_show_status = true; \
|
|
|
|
bool option_toolbar_show_buttons = true; \
|
|
|
|
bool option_toolbar_show_address = true; \
|
|
|
|
bool option_toolbar_show_throbber = true; \
|
2004-05-23 16:50:37 +04:00
|
|
|
int option_window_x = 0; \
|
|
|
|
int option_window_y = 0; \
|
|
|
|
int option_window_width = 0; \
|
|
|
|
int option_window_height = 0; \
|
|
|
|
int option_window_screen_width = 0; \
|
2004-05-25 00:50:57 +04:00
|
|
|
int option_window_screen_height = 0; \
|
2004-06-27 18:41:14 +04:00
|
|
|
bool option_window_stagger = true; \
|
2004-06-28 23:35:04 +04:00
|
|
|
bool option_window_size_clone = true; \
|
2004-06-25 20:52:01 +04:00
|
|
|
bool option_background_images = true; \
|
2004-07-20 03:35:12 +04:00
|
|
|
bool option_background_blending = true; \
|
2004-07-21 00:02:59 +04:00
|
|
|
bool option_buffer_animations = true; \
|
2004-07-27 00:13:45 +04:00
|
|
|
bool option_buffer_everything = false; \
|
2004-07-29 03:07:52 +04:00
|
|
|
char *option_homepage_url = 0; \
|
2004-08-13 04:55:59 +04:00
|
|
|
bool option_open_browser_at_startup = false; \
|
2004-09-29 07:33:24 +04:00
|
|
|
bool option_no_plugins = false; \
|
2004-09-14 03:56:18 +04:00
|
|
|
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; \
|
2005-02-23 02:36:14 +03:00
|
|
|
int option_font_default = CSS_FONT_FAMILY_SANS_SERIF; \
|
2005-02-03 13:04:06 +03:00
|
|
|
int option_screen_cache = 0; \
|
2005-02-07 17:28:43 +03:00
|
|
|
bool option_block_popups = false; \
|
|
|
|
bool option_url_suggestion = true;
|
2003-06-02 03:02:56 +04:00
|
|
|
|
2004-02-13 19:09:12 +03:00
|
|
|
#define EXTRA_OPTION_TABLE \
|
2004-04-10 22:12:58 +04:00
|
|
|
{ "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\
|
|
|
|
{ "allow_text_selection", OPTION_BOOL, &option_allow_text_selection },\
|
|
|
|
{ "theme", OPTION_STRING, &option_theme },\
|
|
|
|
{ "language", OPTION_STRING, &option_language },\
|
2004-11-03 02:23:07 +03:00
|
|
|
{ "plot_fg_quality", OPTION_INTEGER, &option_fg_plot_style },\
|
|
|
|
{ "plot_bg_quality", OPTION_INTEGER, &option_bg_plot_style },\
|
2004-04-11 18:29:30 +04:00
|
|
|
{ "thumbnail_32bpp", OPTION_BOOL, &option_thumbnail_32bpp },\
|
2004-05-05 02:23:44 +04:00
|
|
|
{ "history_tooltip", OPTION_BOOL, &option_history_tooltip }, \
|
|
|
|
{ "scale", OPTION_INTEGER, &option_scale }, \
|
|
|
|
{ "toolbar_show_status", OPTION_BOOL, &option_toolbar_show_status }, \
|
2004-08-31 01:03:48 +04:00
|
|
|
{ "toolbar_status_size", OPTION_INTEGER, &option_toolbar_status_width }, \
|
2004-05-05 02:23:44 +04:00
|
|
|
{ "toolbar_show_buttons", OPTION_BOOL, &option_toolbar_show_buttons }, \
|
|
|
|
{ "toolbar_show_address", OPTION_BOOL, &option_toolbar_show_address }, \
|
|
|
|
{ "toolbar_show_throbber", OPTION_BOOL, &option_toolbar_show_throbber }, \
|
2004-05-23 16:22:05 +04:00
|
|
|
{ "window_x", OPTION_INTEGER, &option_window_x }, \
|
|
|
|
{ "window_y", OPTION_INTEGER, &option_window_y }, \
|
|
|
|
{ "window_width", OPTION_INTEGER, &option_window_width }, \
|
|
|
|
{ "window_height", OPTION_INTEGER, &option_window_height }, \
|
|
|
|
{ "window_screen_width", OPTION_INTEGER, &option_window_screen_width }, \
|
2004-05-25 00:50:57 +04:00
|
|
|
{ "window_screen_height", OPTION_INTEGER, &option_window_screen_height }, \
|
2004-06-27 18:41:14 +04:00
|
|
|
{ "window_stagger", OPTION_BOOL, &option_window_stagger }, \
|
2004-06-28 23:35:04 +04:00
|
|
|
{ "window_size_clone", OPTION_BOOL, &option_window_size_clone }, \
|
2004-06-25 20:52:01 +04:00
|
|
|
{ "background_images", OPTION_BOOL, &option_background_images }, \
|
2004-07-20 03:35:12 +04:00
|
|
|
{ "background_blending", OPTION_BOOL, &option_background_blending }, \
|
2004-07-21 00:02:59 +04:00
|
|
|
{ "buffer_animations", OPTION_BOOL, &option_buffer_animations }, \
|
2004-08-07 03:45:21 +04:00
|
|
|
{ "buffer_everything", OPTION_BOOL, &option_buffer_everything }, \
|
2004-07-27 00:13:45 +04:00
|
|
|
{ "homepage_url", OPTION_STRING, &option_homepage_url }, \
|
2004-08-13 04:55:59 +04:00
|
|
|
{ "open_browser_at_startup",OPTION_BOOL, &option_open_browser_at_startup }, \
|
2004-09-14 03:56:18 +04:00
|
|
|
{ "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 }, \
|
2005-02-23 02:36:14 +03:00
|
|
|
{ "font_default", OPTION_INTEGER, &option_font_default }, \
|
2005-02-07 17:28:43 +03:00
|
|
|
{ "screen_cache", OPTION_INTEGER, &option_screen_cache }, \
|
|
|
|
{ "block_popups", OPTION_BOOL, &option_block_popups }, \
|
|
|
|
{ "url_suggestion", OPTION_BOOL, &option_url_suggestion }
|
2004-09-14 03:56:18 +04:00
|
|
|
|
2003-06-02 03:02:56 +04:00
|
|
|
#endif
|