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 | 1e61640d3758919f992bee1a6da28bd18ff3d269 (patch) | |
tree | 7b5e6e64f2759018c0a249e6de1f3d2489dd4001 /mixgtk | |
parent | 444bde2e739d73c27418461fa001adb7b9ce83db (diff) | |
download | mdk-1e61640d3758919f992bee1a6da28bd18ff3d269.tar.gz mdk-1e61640d3758919f992bee1a6da28bd18ff3d269.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); } } |