[gnome-boxes/move-select-file-to-menu: 1/2] wizard-source: Hide "Downloaded" label when the list is empty

[Felipe Borges <felipeborges src gnome org>]

commit b94dab05b2906800d1e94b9a571ad0786bed7e58
Author: Felipe Borges <felipeborges gnome org>
Date:   Mon Jan 15 13:55:15 2018 +0100

    wizard-source: Hide "Downloaded" label when the list is empty
    
    The Downloaded label refers to the media list, and should not be
    shown when the list is empty.
    
    Fixes #178

 src/wizard-source.vala | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/wizard-source.vala b/src/wizard-source.vala
index 470d9744..6df40594 100644
--- a/src/wizard-source.vala
+++ b/src/wizard-source.vala
@@ -325,6 +325,8 @@ private void on_notify_estimated_load_progress () {
     [GtkChild]
     private Boxes.WizardScrolled media_scrolled;
     [GtkChild]
+    private Gtk.Label downloaded_label;
+    [GtkChild]
     private Gtk.Box url_entry_vbox;
     [GtkChild]
     public Gtk.Entry url_entry;
@@ -416,6 +418,7 @@ private void on_notify_estimated_load_progress () {
 
         var num_visible = (Gdk.Screen.height () > 800)? 3 : 2;
         media_scrolled.setup (num_visible);
+        media_scrolled.bind_property ("visible", downloaded_label, "visible", BindingFlags.BIDIRECTIONAL);
         media_vbox = media_scrolled.vbox;
         media_vbox.row_activated.connect((row) => {
             var entry = (row as WizardMediaEntry);