diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-04-29 12:56:41 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-04-29 12:56:41 +0000 |
| commit | d22db003e3e2aeeb2b016c1fe6b02bf75c7018e2 (patch) | |
| tree | a39ca383946fb713ed04d6be87bc1fa29a05a070 /mixgtk/mixgtk_gen_handlers.h | |
| parent | ed226c3abb7223019ace8cd897b6e6b681ee014a (diff) | |
| download | mdk-d22db003e3e2aeeb2b016c1fe6b02bf75c7018e2.tar.gz mdk-d22db003e3e2aeeb2b016c1fe6b02bf75c7018e2.tar.bz2 | |
config file handling added
Diffstat (limited to 'mixgtk/mixgtk_gen_handlers.h')
| -rw-r--r-- | mixgtk/mixgtk_gen_handlers.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_gen_handlers.h b/mixgtk/mixgtk_gen_handlers.h index 6e0a45d..0442d22 100644 --- a/mixgtk/mixgtk_gen_handlers.h +++ b/mixgtk/mixgtk_gen_handlers.h @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixgtk_gen_handlers.h : * general signal handlers declarations * ------------------------------------------------------------------ - * Last change: Time-stamp: <01/03/16 00:29:45 jose> + * Last change: Time-stamp: <2001-04-29 12:32:32 jao> * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -39,6 +39,11 @@ on_file_exit_activate (GtkWidget *w, gpointer data); extern void on_clear_breakpoints_activate (GtkWidget *w, gpointer data); +extern void +on_save_on_exit_toggle (GtkWidget *w, gpointer data); + +extern void +on_save_activate (GtkWidget *w, gpointer data); |