summaryrefslogtreecommitdiffhomepage
path: root/mixgtk/mixgtk.h
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-25 23:52:29 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-25 23:52:29 +0000
commit5930089d6965da4bcc7aa11e1f4d67a76c0dd351 (patch)
treebd5d743b023a4bae6521b06b71a1bc329ca4ba6e /mixgtk/mixgtk.h
parent5fbfeb14da470cd6f803497b75d4381ca1e1a9e1 (diff)
downloadmdk-5930089d6965da4bcc7aa11e1f4d67a76c0dd351.tar.gz
mdk-5930089d6965da4bcc7aa11e1f4d67a76c0dd351.tar.bz2
hot split/unsplit
Diffstat (limited to 'mixgtk/mixgtk.h')
-rw-r--r--mixgtk/mixgtk.h4
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);