[gnome-boxes/wip/rishi/my-fixes: 8/9] wizard-source: Separate the groups of sources using headings

[Debarshi Ray <debarshir src gnome org>]

commit 613640954ff08dc189a8f09e18e1a864014ce761
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.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=786679

 data/ui/wizard-source.ui |   35 +++++++++++++++++++++++++++++++++++
 src/wizard-source.vala   |    2 +-
 2 files changed, 36 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/wizard-source.ui b/data/ui/wizard-source.ui
index d3a2392..d00a974 100644
--- a/data/ui/wizard-source.ui
+++ b/data/ui/wizard-source.ui
@@ -26,7 +26,24 @@
             <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">30</property>
+          </object>
+          <packing>
+            <property name="expand">False</property>
+            <property name="fill">False</property>
+          </packing>
+        </child>
+
+        <child>
+          <object class="GtkLabel">
+            <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>
           <packing>
             <property name="expand">False</property>
@@ -82,6 +99,24 @@
         </child>
 
         <child>
+          <object class="GtkLabel">
+            <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>
+          <packing>
+            <property name="expand">False</property>
+            <property name="fill">False</property>
+          </packing>
+        </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 2c16ec2..35bd250 100644
--- a/src/wizard-source.vala
+++ b/src/wizard-source.vala
@@ -170,7 +170,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)? 4 : 3;
         media_scrolled.setup (num_visible);
         media_vbox = media_scrolled.vbox;
         draw_as_css_box (url_entry_vbox);