# HG changeset patch
# User nadvornik
# Date 1212995213 0
# Node ID d14374e1d71769b53e96c7bcc167936338732714
# Parent  8620e6934cfb54fd681763c0b537b487b3b90446
fixed saving options on exit

diff -r 8620e6934cfb -r d14374e1d717 src/layout.c
--- 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();
 		}