From e02ec068629bf1ce5c534432ae40479337cedfc4 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 29 Apr 2001 12:56:41 +0000
Subject: config file handling added

---
 mixgtk/mixgtk_gen_handlers.c | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'mixgtk/mixgtk_gen_handlers.c')

diff --git a/mixgtk/mixgtk_gen_handlers.c b/mixgtk/mixgtk_gen_handlers.c
index 9f23310..b687a6d 100644
--- a/mixgtk/mixgtk_gen_handlers.c
+++ b/mixgtk/mixgtk_gen_handlers.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mixgtk_gen_handlers.c :
  * Implementation of the functions declared in mixgtk_gen_handlers.h
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: "01/03/16 00:30:40 jose"
+ *  Last change: Time-stamp: "2001-04-29 12:32:47 jao"
  * ------------------------------------------------------------------
  * Copyright (C) 2001 Free Software Foundation, Inc.
  *  
@@ -24,6 +24,7 @@
 #include <mixlib/mix_vm_command.h>
 #include "mixgtk_gen_handlers.h"
 #include "mixgtk_cmd_dispatcher.h"
+#include "mixgtk_config.h"
 
 void
 on_main_window_destroy (GtkWidget *w, gpointer data)
@@ -93,3 +94,16 @@ on_clear_breakpoints_activate (GtkWidget *w, gpointer data)
   mixgtk_cmd_dispatcher_dispatch (mix_vm_command_to_string (MIX_CMD_CABP));
 }
 
+void
+on_save_on_exit_toggle (GtkWidget *w, gpointer data)
+{
+  mixgtk_config_set_autosave (GTK_CHECK_MENU_ITEM (w)->active);
+}
+
+void
+on_save_activate (GtkWidget *w, gpointer data)
+{
+  mixgtk_config_save ();
+}
+
+
-- 
cgit v1.2.3