diff options
| -rw-r--r-- | mixgtk/mixgtk_mixal.c | 10 |
1 files changed, 10 insertions, 0 deletions
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 (); +} |