[gnome-boxes] wizard-source: Separate the groups of sources using headings

[Debarshi Ray <debarshir src gnome org>]

commit e0288d7ee30dc8bacdfb314c05fb73ae72d80b95
Author: Debarshi Ray <debarshir gnome org>
Date:   Thu Aug 24 15:44:25 2017 +0200

    wizard-source: Separate the groups of sources using headings
    
    This increases the height of the WizardWindow, so the WizardScrolled
    needs to scroll more aggressively.
    
    Note that the vertical height of the window is still more than what it
    used to be. That will be addressed in the following patch by moving the
    file selection button next to the heading label.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=786679

 data/ui/wizard-source.ui |   29 ++++++++++++++++++++++++++++-
 src/wizard-source.vala   |    2 +-
 2 files changed, 29 insertions(+), 2 deletions(-)
---
diff --git a/data/ui/wizard-source.ui b/data/ui/wizard-source.ui
index 03f812f..6a0f0ae 100644
--- a/data/ui/wizard-source.ui
+++ b/data/ui/wizard-source.ui
@@ -26,7 +26,7 @@
             <property name="label" translatable="yes">Insert operating system installation media or select a 
source below</property>
             <property name="wrap">True</property>
             <property name="halign">start</property>
-            <property name="margin-bottom">20</property>
+            <property name="margin-bottom">30</property>
           </object>
           <packing>
             <property name="expand">False</property>
@@ -35,6 +35,19 @@
         </child>
 
         <child>
+          <object class="GtkLabel" id="downloaded_label">
+            <property name="visible">True</property>
+            <property name="halign">start</property>
+            <property name="margin-bottom">20</property>
+            <property name="use-markup">True</property>
+            <property name="label" translatable="yes">Downloaded</property>
+            <attributes>
+              <attribute name="weight" value="PANGO_WEIGHT_BOLD"/>
+            </attributes>
+          </object>
+        </child>
+
+        <child>
           <object class="BoxesWizardScrolled" id="media_scrolled"/>
         </child>
 
@@ -82,6 +95,20 @@
         </child>
 
         <child>
+          <object class="GtkLabel" id="available_to_download_label">
+            <property name="visible">True</property>
+            <property name="halign">start</property>
+            <property name="margin-top">30</property>
+            <property name="margin-bottom">20</property>
+            <property name="use-markup">True</property>
+            <property name="label" translatable="yes">Available to Download</property>
+            <attributes>
+              <attribute name="weight" value="PANGO_WEIGHT_BOLD"/>
+            </attributes>
+          </object>
+        </child>
+
+        <child>
           <object class="GtkButton" id="enter_url_button">
             <property name="visible">True</property>
             <signal name="clicked" handler="on_enter_url_button_clicked"/>
diff --git a/src/wizard-source.vala b/src/wizard-source.vala
index 7beef6c..1abfd48 100644
--- a/src/wizard-source.vala
+++ b/src/wizard-source.vala
@@ -183,7 +183,7 @@ private class Boxes.WizardSource: Gtk.Stack {
         media_manager = MediaManager.get_instance ();
         main_vbox.grab_focus ();
 
-        var num_visible = (Gdk.Screen.height () > 800)? 5 : 4;
+        var num_visible = (Gdk.Screen.height () > 800)? 3 : 2;
         media_scrolled.setup (num_visible);
         media_vbox = media_scrolled.vbox;
         draw_as_css_box (url_entry_vbox);