add: g_return_if_fail (props != NULL); g_return_if_fail (BACON_IS_VIDEO_WIDGET_PROPERTIES (props));
context: bacon_video_widget_properties_reset (BaconVideoWidgetProperties *props){	GtkWidget *item;	item = glade_xml_get_widget (props->priv->xml, "video_vbox");	gtk_widget_show (item);	item = glade_xml_get_widget (props->priv->xml, "video");	gtk_widget_set_sensitive (item, FALSE);	item = glade_xml_get_widget (props->priv->xml, "audio");	gtk_widget_set_sensitive (item, FALSE);	/* Title */	bacon_video_widget_properties_set_label (props, "title", _("Unknown"));	/* Artist */	bacon_video_widget_properties_set_label (props, "artist", _("Unknown"));	/* Album */	bacon_video_widget_properties_set_label (props, "album", _("Unknown"));	/* Year */	bacon_video_widget_properties_set_label (props, "year", _("Unknown"));	/* Duration */	bacon_video_widget_properties_set_label (props, "duration", _("0 second"));	/* Dimensions */	bacon_video_widget_properties_set_label (props, "dimensions", _("0 x 0"));	/* Video Codec */	bacon_video_widget_properties_set_label (props, "vcodec", _("N/A"));	/* Video Bitrate */	bacon_video_widget_properties_set_label (props, "video_bitrate",			_("0 kbps"));	/* Framerate */	bacon_video_widget_properties_set_label (props, "framerate",			_("0 frames per second"));	/* Audio Bitrate */	bacon_video_widget_properties_set_label (props, "audio_bitrate",			_("0 kbps"));	/* Audio Codec */	bacon_video_widget_properties_set_label (props, "acodec", _("N/A"));}