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 | 6d482456bec9690d49b29f7bb0ddf029d71b3081 (patch) | |
tree | f6c0abd5037595d13be71a4fb5fd66a21e8acca0 /mixgtk/mixgtk_device.h | |
parent | d60d488228a8850742954dbc4b91895998641487 (diff) | |
download | mdk-6d482456bec9690d49b29f7bb0ddf029d71b3081.tar.gz mdk-6d482456bec9690d49b29f7bb0ddf029d71b3081.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); |