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 | 6e059e481117e49111e15fe1c63d38ba553a0821 (patch) | |
tree | f8a0b07281c9911af5d2d16dd9b98202e6e32754 /mixgtk | |
parent | d55fe1eb316d7322f82a5faa80a214f16b22045e (diff) | |
download | mdk-6e059e481117e49111e15fe1c63d38ba553a0821.tar.gz mdk-6e059e481117e49111e15fe1c63d38ba553a0821.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"); |