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_mixal.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_mixal.h')
-rw-r--r-- | mixgtk/mixgtk_mixal.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_mixal.h b/mixgtk/mixgtk_mixal.h index 248cf64..5fb7cbb 100644 --- a/mixgtk/mixgtk_mixal.h +++ b/mixgtk/mixgtk_mixal.h @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixgtk_mixal.h : * Declarations for functions displaying the mixal source file * ------------------------------------------------------------------ - * $Id: mixgtk_mixal.h,v 1.6 2004/06/30 14:07:53 jao Exp $ + * $Id: mixgtk_mixal.h,v 1.7 2004/07/04 22:34:15 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001, 2004 Free Software Foundation, Inc. * @@ -46,6 +46,9 @@ extern void mixgtk_mixal_update (void); extern void +mixgtk_mixal_update_fonts (void); + +extern void mixgtk_mixal_pop_status (void); /* breakpoints */ |