changeset 807:d14374e1d717

fixed saving options on exit
author nadvornik
date Mon, 09 Jun 2008 07:06:53 +0000
parents 8620e6934cfb
children c3fc736fb927
files src/layout.c
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/layout.c	Sun Jun 08 23:42:51 2008 +0000
+++ b/src/layout.c	Mon Jun 09 07:06:53 2008 +0000
@@ -1795,6 +1795,7 @@
 		}
 	else
 		{
+		sync_options_with_current_state(options);
 		layout_free(lw); /* make leak detection easier */
 		exit_program();
 		}