summaryrefslogtreecommitdiffhomepage
path: root/mixgtk/mixgtk_mixvm.h
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2004-07-04 22:34:15 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2004-07-04 22:34:15 +0000
commit6d482456bec9690d49b29f7bb0ddf029d71b3081 (patch)
treef6c0abd5037595d13be71a4fb5fd66a21e8acca0 /mixgtk/mixgtk_mixvm.h
parentd60d488228a8850742954dbc4b91895998641487 (diff)
downloadmdk-6d482456bec9690d49b29f7bb0ddf029d71b3081.tar.gz
mdk-6d482456bec9690d49b29f7bb0ddf029d71b3081.tar.bz2
new menu item to change all fonts at once.
Diffstat (limited to 'mixgtk/mixgtk_mixvm.h')
-rw-r--r--mixgtk/mixgtk_mixvm.h5
1 files changed, 4 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_mixvm.h b/mixgtk/mixgtk_mixvm.h
index 2288715..6e80f70 100644
--- a/mixgtk/mixgtk_mixvm.h
+++ b/mixgtk/mixgtk_mixvm.h
@@ -1,7 +1,7 @@
/* -*-c-*- ---------------- mixgtk_mixvm.h :
* Functions dealing with the mixvm widgets
* ------------------------------------------------------------------
- * $Id: mixgtk_mixvm.h,v 1.4 2004/06/30 14:07:53 jao Exp $
+ * $Id: mixgtk_mixvm.h,v 1.5 2004/07/04 22:34:15 jao Exp $
* ------------------------------------------------------------------
* Copyright (C) 2001, 2004 Free Software Foundation, Inc.
*
@@ -33,6 +33,9 @@
extern gboolean
mixgtk_mixvm_init (mix_vm_t *vm);
+extern void
+mixgtk_mixvm_update_fonts (void);
+
/* update register widgets */
extern void
mixgtk_mixvm_update_registers (void);