From 6f82a39eb3297d9586898a31ad732840fa9828e0 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Thu, 21 Jun 2001 20:47:42 +0000
Subject: release 0.3.5

---
 mixgtk/mixgtk_mixal.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'mixgtk')

diff --git a/mixgtk/mixgtk_mixal.c b/mixgtk/mixgtk_mixal.c
index ed10602..916ef1e 100644
--- a/mixgtk/mixgtk_mixal.c
+++ b/mixgtk/mixgtk_mixal.c
@@ -30,6 +30,8 @@
 #include "mixgtk_mixal.h"
 
 
+#define MIXAL_TAB_POS_ 2
+
 static mix_vm_t *vm_;
 static GtkCList *clist_;
 static gulong lineno_;
@@ -410,3 +412,11 @@ on_symbols_activate ()
   if (!symbols_dlg_) init_symbols_ ();
   gtk_widget_show (symbols_dlg_);
 }
+
+void
+on_notebook_switch_page (GtkNotebook *notebook)
+{
+  gint p = gtk_notebook_get_current_page (notebook);
+  if (p != MIXAL_TAB_POS_) gtk_statusbar_pop (status_, status_context_);
+  if (p == MIXAL_TAB_POS_) mixgtk_mixal_update ();
+}
-- 
cgit v1.2.3