summaryrefslogtreecommitdiffhomepage
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
commit81afd9cda298c5c210180edd615fe4dd48710bab (patch)
tree88c084e20f078fa170edf227013c07568227032e
parent6adb336a2b0ff4ebbd98a5946c23e7eb862ef0fb (diff)
downloadmdk-81afd9cda298c5c210180edd615fe4dd48710bab.tar.gz
mdk-81afd9cda298c5c210180edd615fe4dd48710bab.tar.bz2
release 0.3.5
-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 ();
+}