diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-25 23:52:29 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-25 23:52:29 +0000 |
commit | 2f0c4e4aa87209194f8fcb1296525a032d00f8c6 (patch) | |
tree | eb73cc608a66d87fcd6808a03a820a6db9ef139c /mixgtk/mixgtk.h | |
parent | a934de6c26ede02f0c988d45b16183ce578d57a1 (diff) | |
download | mdk-2f0c4e4aa87209194f8fcb1296525a032d00f8c6.tar.gz mdk-2f0c4e4aa87209194f8fcb1296525a032d00f8c6.tar.bz2 |
hot split/unsplit
Diffstat (limited to 'mixgtk/mixgtk.h')
-rw-r--r-- | mixgtk/mixgtk.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mixgtk/mixgtk.h b/mixgtk/mixgtk.h index 403847c..e26302e 100644 --- a/mixgtk/mixgtk.h +++ b/mixgtk/mixgtk.h @@ -35,6 +35,10 @@ extern gboolean mixgtk_init (int argc, char *argv[]); +/* restart the gui */ +extern gboolean +mixgtk_restart (gboolean split); + /* enter the main mixgtk loop */ extern void mixgtk_main (void); |