[gnome-boxes/wip/rishi/rhel: 6/16] wizard-source: Separate the groups of sources using headings

[Debarshi Ray <debarshir src gnome org>]

commit edb440dc8169b5815dfaea2bef28af335f8cc9ce
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 d3a2392..1529a05 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 2d09e0f..2b3378a 100644
--- a/src/wizard-source.vala
+++ b/src/wizard-source.vala
@@ -181,7 +181,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);