From 858b8a5a0ad13be8ca57e76c34e1a1bbe993fb07 Mon Sep 17 00:00:00 2001 From: Ole Loots Date: Fri, 21 Dec 2012 14:05:55 +0100 Subject: HTML Choices editing works now, but it still requires some authentication token to be generated to make it secure. --- atari/gui.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'atari/gui.c') diff --git a/atari/gui.c b/atari/gui.c index c2158e05e..210f0af69 100755 --- a/atari/gui.c +++ b/atari/gui.c @@ -795,7 +795,8 @@ void gui_quit(void) browser_window_destroy(gw->browser->bw); gw = tmp; } - + + nsoption_write(options); global_history_destroy(); hotlist_destroy(); toolbar_exit(); -- cgit v1.2.3