diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-21 20:47:42 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-21 20:47:42 +0000 |
commit | 81afd9cda298c5c210180edd615fe4dd48710bab (patch) | |
tree | 88c084e20f078fa170edf227013c07568227032e /mixgtk | |
parent | 6adb336a2b0ff4ebbd98a5946c23e7eb862ef0fb (diff) | |
download | mdk-81afd9cda298c5c210180edd615fe4dd48710bab.tar.gz mdk-81afd9cda298c5c210180edd615fe4dd48710bab.tar.bz2 |
release 0.3.5
Diffstat (limited to 'mixgtk')
-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 (); +} |