diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-04 22:34:15 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-04 22:34:15 +0000 |
commit | 8440205d3e76356739f0f610ea2519a9d2dc4ec5 (patch) | |
tree | 320b949503c02035087943de062dd9b52eb63209 /mixgtk/mixgtk_mixvm.h | |
parent | 2e9c7cb702138afad5e5c138ea3071c7fc1ec940 (diff) | |
download | mdk-8440205d3e76356739f0f610ea2519a9d2dc4ec5.tar.gz mdk-8440205d3e76356739f0f610ea2519a9d2dc4ec5.tar.bz2 |
new menu item to change all fonts at once.
Diffstat (limited to 'mixgtk/mixgtk_mixvm.h')
-rw-r--r-- | mixgtk/mixgtk_mixvm.h | 5 |
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); |