diff options
Diffstat (limited to 'frontends')
-rw-r--r-- | frontends/riscos/gui.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index f84e08421..d3ce31ce5 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -1186,7 +1186,9 @@ static nserror gui_init(int argc, char** argv) urldb_load(nsoption_charp(url_path)); urldb_load_cookies(nsoption_charp(cookie_file)); hotlist_init(nsoption_charp(hotlist_path), - nsoption_charp(hotlist_save)); + nsoption_bool(external_hotlists) ? + NULL : + nsoption_charp(hotlist_save)); /* Initialise with the wimp */ error = xwimp_initialise(wimp_VERSION_RO38, task_name, |