From 88e7131ae7d060e2aefd6a619fd854e6d0920ef2 Mon Sep 17 00:00:00 2001 From: Brijesh Singh Date: Wed, 6 May 2015 06:45:23 -0500 Subject: [PATCH] playback/player: gtk-play: set window title from media information If media contains title then use it to set player window title. --- playback/player/gtk/gtk-play.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/playback/player/gtk/gtk-play.c b/playback/player/gtk/gtk-play.c index 246adea..961fda1 100644 --- a/playback/player/gtk/gtk-play.c +++ b/playback/player/gtk/gtk-play.c @@ -664,8 +664,15 @@ static void media_info_updated_cb (GstPlayer * player, GstPlayerMediaInfo * media_info, GtkPlay * play) { - if (!gtk_widget_is_sensitive (play->media_info)) + if (!gtk_widget_is_sensitive (play->media_info)) { + const gchar *title; + + title = gst_player_media_info_get_title (media_info); + if (title) + set_title (play, title); + gtk_widget_set_sensitive (play->media_info, TRUE); + } } int -- 2.7.4