mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-13 12:51:16 +00:00
playback/player: gtk-play: set window title from media information
If media contains title then use it to set player window title.
This commit is contained in:
parent
611f3cde4b
commit
88e7131ae7
1 changed files with 8 additions and 1 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue