diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-24 16:51:23 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-24 16:51:23 +0000 |
| commit | 602973bb59cb685d2709441a25e45a1db22ab62c (patch) | |
| tree | 1123c0000b13eb3b808651b9c72676f0591442d1 /mixgtk | |
| parent | 83a65e471b7b30c874cc59830bccc60501d6c660 (diff) | |
| download | mdk-602973bb59cb685d2709441a25e45a1db22ab62c.tar.gz mdk-602973bb59cb685d2709441a25e45a1db22ab62c.tar.bz2 | |
display file in title
Diffstat (limited to 'mixgtk')
| -rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_cmd_dispatcher.c b/mixgtk/mixgtk_cmd_dispatcher.c index be24fd5..024c09d 100644 --- a/mixgtk/mixgtk_cmd_dispatcher.c +++ b/mixgtk/mixgtk_cmd_dispatcher.c @@ -115,20 +115,26 @@ load_post_hook_ (mix_vm_cmd_dispatcher_t *dis, const gchar *arg, gpointer data) { static glong id = -1; + static GtkWindow *mainw = NULL; if (mix_vm_cmd_dispatcher_get_last_result (dis)) { - gchar *file = g_strdup (arg); + gchar *file = g_strdup_printf ("gmixvm - %s", arg); mixgtk_mixal_load_file (); mixgtk_mixal_update (); mixgtk_mixal_update_bp_all (); + if (!mainw) + mainw = GTK_WINDOW (mixgtk_widget_factory_get_dialog (MIXGTK_MAIN)); + if (id != -1) gtk_statusbar_remove (GTK_STATUSBAR (dis_data_.status), dis_data_.context, (guint)id); id = gtk_statusbar_push (GTK_STATUSBAR (dis_data_.status), dis_data_.context, file); + gtk_window_set_title (mainw, file); + g_free (file); } } |