+static void save_settings()
+{
+ int w, h, x, y;
+
+ gtk_window_get_size(window, &w, &h);
+ gtk_window_get_position(window, &x, &y);
+
+ log_debug("save_settings(): x=%d, y=%d", x, y);
+
+ 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);
+}
+