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_device.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_device.h')
-rw-r--r-- | mixgtk/mixgtk_device.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mixgtk/mixgtk_device.h b/mixgtk/mixgtk_device.h index b15cbb4..a4f095f 100644 --- a/mixgtk/mixgtk_device.h +++ b/mixgtk/mixgtk_device.h @@ -33,6 +33,9 @@ extern GtkWidget * mixgtk_device_init (mix_vm_t *vm); +extern void +mixgtk_device_update_fonts (void); + /* change the output format of a device */ extern void mixgtk_device_set_format (mix_device_type_t dev, gboolean dec); |