summaryrefslogtreecommitdiffhomepage
path: root/mixgtk
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-21 20:47:42 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-21 20:47:42 +0000
commit6f82a39eb3297d9586898a31ad732840fa9828e0 (patch)
tree4666128d8f8a5996980b0a20d879e2aac1c8d06e /mixgtk
parentafc4bfe5536ad0dd0b28f12c726244827f63fb65 (diff)
downloadmdk-6f82a39eb3297d9586898a31ad732840fa9828e0.tar.gz
mdk-6f82a39eb3297d9586898a31ad732840fa9828e0.tar.bz2
release 0.3.5
Diffstat (limited to 'mixgtk')
-rw-r--r--mixgtk/mixgtk_mixal.c10
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 ();
+}