From 6f82a39eb3297d9586898a31ad732840fa9828e0 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Thu, 21 Jun 2001 20:47:42 +0000 Subject: release 0.3.5 --- mixgtk/mixgtk_mixal.c | 10 ++++++++++ 1 file changed, 10 insertions(+) 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