diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-08-16 23:06:17 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-08-16 23:06:17 +0000 |
| commit | 1a6d2732f3f30a1904244659e59da32b2c5b07e0 (patch) | |
| tree | 1a729497d0d3744e8f28542a68f659ac40f5c815 /mixgtk | |
| parent | 411df2922982b60551582469c0786340fa23b161 (diff) | |
| download | mdk-1a6d2732f3f30a1904244659e59da32b2c5b07e0.tar.gz mdk-1a6d2732f3f30a1904244659e59da32b2c5b07e0.tar.bz2 | |
display symbol values in MIXAL status bar when split
Diffstat (limited to 'mixgtk')
| -rw-r--r-- | mixgtk/mixgtk_mixal.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/mixgtk/mixgtk_mixal.c b/mixgtk/mixgtk_mixal.c index 94c4dd4..22039e3 100644 --- a/mixgtk/mixgtk_mixal.c +++ b/mixgtk/mixgtk_mixal.c @@ -35,6 +35,7 @@ static mix_vm_t *vm_ = NULL; static GtkCList *clist_; static gulong lineno_; +static const gchar *LOCAL_STATUS_BAR_ = "mixal_statusbar"; static GtkStatusbar *status_; static gint status_context_; static GPtrArray *tips_text_ = NULL; @@ -138,8 +139,13 @@ mixgtk_mixal_init (mix_vm_t *vm, mixgtk_dialog_id_t top) clist_ = GTK_CLIST (mixgtk_widget_factory_get (top, MIXGTK_WIDGET_MIXAL)); g_return_val_if_fail (clist_ != NULL, FALSE); - status_ = GTK_STATUSBAR - (mixgtk_widget_factory_get (MIXGTK_MAIN, MIXGTK_WIDGET_STATUSBAR)); + if (!mixgtk_config_is_split ()) + status_ = GTK_STATUSBAR + (mixgtk_widget_factory_get (MIXGTK_MAIN, MIXGTK_WIDGET_STATUSBAR)); + else + status_ = GTK_STATUSBAR + (mixgtk_widget_factory_get_child_by_name (top, LOCAL_STATUS_BAR_)); + g_return_val_if_fail (status_ != NULL, FALSE); status_context_ = gtk_statusbar_get_context_id (status_, "MIXAL status"); |