[gnome-boxes/wip/rishi/rhel: 5/14] wizard-source: Separate the groups of sources using headings
- From: Debarshi Ray <debarshir src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-boxes/wip/rishi/rhel: 5/14] wizard-source: Separate the groups of sources using headings
- Date: Wed, 6 Sep 2017 17:08:14 +0000 (UTC)
commit 303e9545d097bee839461f798395265065686a96
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 228720d..37967df 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)? 4 : 3;
media_scrolled.setup (num_visible);
media_vbox = media_scrolled.vbox;
draw_as_css_box (url_entry_vbox);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]