# HG changeset patch
# User zas_
# Date 1220185789 0
# Node ID c92e5a5c3bfa903388cd2f1670600b0fd1e3f242
# Parent  650c02c0c8ff5f1b1b2389748e1a9d25eec5db51
Add a Save button to Preferences dialog, which allow to save options to file without quitting the application.

diff -r 650c02c0c8ff -r c92e5a5c3bfa src/preferences.c
--- a/src/preferences.c	Sun Aug 31 11:27:24 2008 +0000
+++ b/src/preferences.c	Sun Aug 31 12:29:49 2008 +0000
@@ -417,6 +417,12 @@
 	config_window_apply();
 }
 
+static void config_window_save_cb(GtkWidget *widget, gpointer data)
+{
+	config_window_apply();
+	save_options(options);
+}
+
 /*
  *-----------------------------------------------------------------------------
  * config window setup (private)
@@ -1648,6 +1654,12 @@
 
 	ct_button = button;
 
+	button = pref_button_new(NULL, GTK_STOCK_SAVE, NULL, FALSE,
+				 G_CALLBACK(config_window_save_cb), NULL);
+	gtk_container_add(GTK_CONTAINER(hbox), button);
+	GTK_WIDGET_SET_FLAGS(button, GTK_CAN_DEFAULT);
+	gtk_widget_show(button);
+	
 	button = pref_button_new(NULL, GTK_STOCK_APPLY, NULL, FALSE,
 				 G_CALLBACK(config_window_apply_cb), NULL);
 	gtk_container_add(GTK_CONTAINER(hbox), button);