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

[Debarshi Ray <debarshir src gnome org>]

commit ed0c99e7160634c02cac7c41b612cd064c548c2a
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 798428f..aeb1cbc 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);