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 | 97f14dfaa15c1d36128848d1deb67fec0e688233 (patch) | |
tree | 214bbafbc10c0217c2da866bd2f4a652ea7f495f /mixgtk/mixgtk.h | |
parent | 2f0c4e4aa87209194f8fcb1296525a032d00f8c6 (diff) | |
download | mdk-97f14dfaa15c1d36128848d1deb67fec0e688233.tar.gz mdk-97f14dfaa15c1d36128848d1deb67fec0e688233.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 |