diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-27 22:50:00 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-27 22:50:00 +0000 |
commit | 83cc41c0600232d2d9385f84533d80d2adb20106 (patch) | |
tree | 2270e3736e587e52d9bdd42498a0c9e9ec56f47f /mixgtk/mixgtk.h | |
parent | 5930089d6965da4bcc7aa11e1f4d67a76c0dd351 (diff) | |
download | mdk-83cc41c0600232d2d9385f84533d80d2adb20106.tar.gz mdk-83cc41c0600232d2d9385f84533d80d2adb20106.tar.bz2 |
hot split swap
Diffstat (limited to 'mixgtk/mixgtk.h')
-rw-r--r-- | mixgtk/mixgtk.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mixgtk/mixgtk.h b/mixgtk/mixgtk.h index e26302e..ed9973f 100644 --- a/mixgtk/mixgtk.h +++ b/mixgtk/mixgtk.h @@ -37,7 +37,7 @@ mixgtk_init (int argc, char *argv[]); /* restart the gui */ extern gboolean -mixgtk_restart (gboolean split); +mixgtk_restart (void); /* enter the main mixgtk loop */ extern void |