diff options
author | James Bursa <james@netsurf-browser.org> | 2007-08-07 03:55:18 +0000 |
---|---|---|
committer | James Bursa <james@netsurf-browser.org> | 2007-08-07 03:55:18 +0000 |
commit | 07c54283e364bd66e21fbd659ea0dd469201a747 (patch) | |
tree | 17bcc30ded5b29d3c2c769ef9933228168aa69f1 /desktop/options.c | |
parent | 7ec7ba37dbeeee678ec573bcfe0594660fbe5195 (diff) | |
download | netsurf-07c54283e364bd66e21fbd659ea0dd469201a747.tar.gz netsurf-07c54283e364bd66e21fbd659ea0dd469201a747.tar.bz2 |
Move window scaling from platform-specific code to desktop/browser.c. Modify gtk gui to handle scaling in the same way as RO.
svn path=/trunk/netsurf/; revision=3478
Diffstat (limited to 'desktop/options.c')
-rw-r--r-- | desktop/options.c | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/desktop/options.c b/desktop/options.c index ed4af4ccd..5da514248 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -115,6 +115,8 @@ int option_toolbar_status_width = 400; #else int option_toolbar_status_width = 6667; #endif +/** default window scale */ +int option_scale = 100; /* Fetcher configuration */ /** Maximum simultaneous active fetchers */ @@ -122,7 +124,7 @@ int option_max_fetchers = 24; /** Maximum simultaneous active fetchers per host. * (<=option_max_fetchers else it makes no sense */ -int option_max_fetchers_per_host = 2; +int option_max_fetchers_per_host = 1; /** Maximum number of inactive fetchers cached. * The total number of handles netsurf will therefore have open * is this plus option_max_fetchers. @@ -171,13 +173,14 @@ struct { { "cookie_jar", OPTION_STRING, &option_cookie_jar }, { "homepage_url", OPTION_STRING, &option_homepage_url }, { "url_suggestion", OPTION_BOOL, &option_url_suggestion }, - { "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 }, - { "window_screen_height", OPTION_INTEGER, &option_window_screen_height }, - { "toolbar_status_size", OPTION_INTEGER, &option_toolbar_status_width }, + { "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 }, + { "window_screen_height",OPTION_INTEGER, &option_window_screen_height }, + { "toolbar_status_size", OPTION_INTEGER, &option_toolbar_status_width }, + { "option_scale", OPTION_INTEGER, &option_scale }, /* Fetcher options */ { "max_fetchers", OPTION_INTEGER, &option_max_fetchers }, { "max_fetchers_per_host", |