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 | e02ec068629bf1ce5c534432ae40479337cedfc4 (patch) | |
| tree | 7b0290e28ba95591ee588044b34322d42d527abb /mixgtk/mixgtk_gen_handlers.h | |
| parent | fef0865fae3728ed89b3403fbcc24cdd26ae1e46 (diff) | |
| download | mdk-e02ec068629bf1ce5c534432ae40479337cedfc4.tar.gz mdk-e02ec068629bf1ce5c534432ae40479337cedfc4.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); |