From ab8087fa1b579be10f162449af9de8d8a369f73a Mon Sep 17 00:00:00 2001 From: Stefan Sauer Date: Wed, 3 Nov 2010 10:47:04 +0200 Subject: [PATCH] info: handle video area expose also if we have no video --- mediainfo/src/mi-info.vala | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/mediainfo/src/mi-info.vala b/mediainfo/src/mi-info.vala index c9b4b8ba43..f3d5de9915 100644 --- a/mediainfo/src/mi-info.vala +++ b/mediainfo/src/mi-info.vala @@ -45,6 +45,7 @@ public class MediaInfo.Info : VBox // gstreamer objects private Discoverer dc; private Pipeline pb; + private bool have_video = false; public Info () { @@ -206,6 +207,7 @@ public class MediaInfo.Info : VBox video_streams.remove_page (-1); } l = info.get_video_streams (); + have_video = (l.length () > 0); for (int i = 0; i < l.length (); i++) { sinfo = l.nth_data (i); @@ -361,7 +363,8 @@ public class MediaInfo.Info : VBox private bool on_drawing_area_expose (Widget widget, Gdk.EventExpose event) { - if (pb.current_state < State.PAUSED) { + // redraw if not playing and if there is no video + if (pb.current_state < State.PAUSED || !have_video) { Gdk.Window w = widget.get_window(); Gtk.Allocation a; widget.get_allocation(out a);