HTML Choices editing works now, but it still requires

some authentication token to be generated to make it secure.

1 files changed, 2 insertions, 1 deletions

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();