From 8440205d3e76356739f0f610ea2519a9d2dc4ec5 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 4 Jul 2004 22:34:15 +0000
Subject: new menu item to change all fonts at once.

---
 mixgtk/mixgtk_mixvm.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'mixgtk/mixgtk_mixvm.h')

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);
-- 
cgit v1.2.3