From 7d3ae1cda431c06636a7238b05b286b5ec6d41f5 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Orsini Date: Wed, 23 Apr 2014 09:50:52 +0200 Subject: [PATCH] ensure that all settings are saved --- src/main.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.7.4