changeset 807:eb6887d6b22d

fixed saving options on exit
author Vladimir Nadvornik <nadvornik@suse.cz>
date Mon, 09 Jun 2008 07:06:53 +0000
parents efc7ab578c30
children f4eb877f83d2
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();
 		}