Author: bursa Date: Mon Aug 13 12:36:25 2007 New Revision: 3512 URL: http://source.netsurf-browser.org?rev=3512&view=rev Log: Rename default scale option back to "scale" (changed to "option_scale" by mistake). Modified: trunk/netsurf/desktop/options.c Modified: trunk/netsurf/desktop/options.c URL: http://source.netsurf-browser.org/trunk/netsurf/desktop/options.c?rev=351... ============================================================================== --- trunk/netsurf/desktop/options.c (original) +++ trunk/netsurf/desktop/options.c Mon Aug 13 12:36:25 2007 @@ -191,7 +191,7 @@ { "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 }, + { "scale", OPTION_INTEGER, &option_scale }, /* Fetcher options */ { "max_fetchers", OPTION_INTEGER, &option_max_fetchers }, { "max_fetchers_per_host",