projects
/
prss.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b54e93b
)
ensure that all settings are saved
author
Jean-Philippe Orsini
<jeanfi@gmail.com>
Wed, 23 Apr 2014 07:50:52 +0000
(09:50 +0200)
committer
Jean-Philippe Orsini
<jeanfi@gmail.com>
Wed, 23 Apr 2014 07:50:52 +0000
(09:50 +0200)
src/main.c
patch
|
blob
|
history
diff --git
a/src/main.c
b/src/main.c
index
7379a64
..
e7d17d0
100644
(file)
--- 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