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 | 6f82a39eb3297d9586898a31ad732840fa9828e0 (patch) | |
| tree | 4666128d8f8a5996980b0a20d879e2aac1c8d06e /mixgtk | |
| parent | afc4bfe5536ad0dd0b28f12c726244827f63fb65 (diff) | |
| download | mdk-6f82a39eb3297d9586898a31ad732840fa9828e0.tar.gz mdk-6f82a39eb3297d9586898a31ad732840fa9828e0.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 (); +} |