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

[Debarshi Ray <debarshir src gnome org>]

commit b21eba0a2f62376cfb39ff3f8e2d24b3d1b39dff
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 228720d..e4228a2 100644
--- a/src/wizard-source.vala
+++ b/src/wizard-source.vala
@@ -167,7 +167,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);