From: Jean-Philippe Orsini <jeanfi@gmail.com>
Date: Wed, 23 Apr 2014 07:50:52 +0000 (+0200)
Subject: ensure that all settings are saved
X-Git-Url: https://git.wpitchoune.net/gitweb/?p=prss.git;a=commitdiff_plain;h=7d3ae1cda431c06636a7238b05b286b5ec6d41f5

ensure that all settings are saved
---

diff --git a/src/main.c b/src/main.c
index 7379a64..e7d17d0 100644
--- a/src/main.c
+++ b/src/main.c
@@ -451,12 +451,14 @@ static void save_settings()
 	gtk_window_get_size(window, &w, &h);
 	gtk_window_get_position(window, &x, &y);
 
-	log_debug("save_settings(): x=%d, y=%d", x, y);
+	log_debug("save_settings(): x=%d, y=%d, w=%d, h=%d", x, y, w, h);
 
 	g_settings_set_int(settings, "window-x", x);
 	g_settings_set_int(settings, "window-y", y);
 	g_settings_set_int(settings, "window-width", w);
 	g_settings_set_int(settings, "window-height", h);
+
+	g_settings_sync();
 }
 
 gboolean