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>
|
|
|
|
*/
|
|
|
|
|
|
|
|
/** \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_
|
|
|
|
|
|
|
|
#include "netsurf/desktop/options.h"
|
|
|
|
|
2004-02-14 02:07:42 +03:00
|
|
|
extern bool option_use_mouse_gestures;
|
|
|
|
extern bool option_allow_text_selection;
|
|
|
|
extern bool option_show_toolbar;
|
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-03-09 13:24:52 +03:00
|
|
|
extern bool option_dither_sprites;
|
|
|
|
extern bool option_filter_sprites;
|
2004-04-10 22:12:58 +04:00
|
|
|
extern bool option_thumbnail_32bpp;
|
|
|
|
extern int option_thumbnail_oversampling;
|
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;\
|
|
|
|
bool option_show_toolbar = 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;\
|
|
|
|
bool option_dither_sprites = true;\
|
2004-04-10 22:12:58 +04:00
|
|
|
bool option_filter_sprites = false;\
|
|
|
|
bool option_thumbnail_32bpp = true;\
|
|
|
|
int option_thumbnail_oversampling = 0;
|
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 },\
|
|
|
|
{ "show_toolbar", OPTION_BOOL, &option_show_toolbar },\
|
|
|
|
{ "theme", OPTION_STRING, &option_theme },\
|
|
|
|
{ "language", OPTION_STRING, &option_language },\
|
|
|
|
{ "dither_sprites", OPTION_BOOL, &option_dither_sprites },\
|
|
|
|
{ "filter_sprites", OPTION_BOOL, &option_filter_sprites },\
|
|
|
|
{ "thumbnail_oversampling", OPTION_INTEGER, &option_thumbnail_oversampling }
|
2003-06-02 03:02:56 +04:00
|
|
|
|
|
|
|
#endif
|