File 0002-tweak-margins-and-allow-more-items-per-lin... of Package gradio

Overview Repositories Revisions Requests Users Attributes Meta

File 0002-tweak-margins-and-allow-more-items-per-line.patch of Package gradio

From f88ee502b696b579b235533b5f571930b1046e74 Mon Sep 17 00:00:00 2001
From: Stefan Assmann <sassmann@kpanic.de>
Date: Tue, 9 Apr 2019 10:33:28 +0200
Subject: [PATCH 2/2] tweak margins and allow more items per line

---
 data/ui/main-window.ui               | 1 +
 external/gd/libgd/gd-main-icon-box.c | 1 +
 src/gradio-mainbox.vala              | 4 ++--
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/data/ui/main-window.ui b/data/ui/main-window.ui
index f0afacf9c5a0..b2c2e7a3f278 100644
--- a/data/ui/main-window.ui
+++ b/data/ui/main-window.ui
@@ -27,6 +27,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
                     <property name="transition_type">crossfade</property>
+                    <property name="valign">GTK_ALIGN_CENTER</property>
                     <child>
                       <placeholder/>
                     </child>
diff --git a/external/gd/libgd/gd-main-icon-box.c b/external/gd/libgd/gd-main-icon-box.c
index 96717ac40453..165e5f12b9f9 100644
--- a/external/gd/libgd/gd-main-icon-box.c
+++ b/external/gd/libgd/gd-main-icon-box.c
@@ -945,6 +945,7 @@ gd_main_icon_box_init (GdMainIconBox *self)
   gtk_widget_set_can_focus (GTK_WIDGET (self), TRUE);
   gtk_flow_box_set_homogeneous (GTK_FLOW_BOX (self), TRUE);
   gtk_flow_box_set_min_children_per_line (GTK_FLOW_BOX (self), 3);
+  gtk_flow_box_set_max_children_per_line (GTK_FLOW_BOX (self), 16);
   gtk_flow_box_set_selection_mode (GTK_FLOW_BOX (self), GTK_SELECTION_NONE);
 
   /* We need to ensure that rubberband selection and DnD don't step
diff --git a/src/gradio-mainbox.vala b/src/gradio-mainbox.vala
index 0dc9a8bc1b46..8d95f82f6b94 100644
--- a/src/gradio-mainbox.vala
+++ b/src/gradio-mainbox.vala
@@ -30,8 +30,8 @@ namespace Gradio{
 			this.set_vexpand(true);
 			this.show_all();
 
-			(((Frame)this.get_child()).get_child()).margin_top = 12;
-			(((Frame)this.get_child()).get_child()).margin_bottom = 12;
+			(((Frame)this.get_child()).get_child()).margin_top = 0;
+			(((Frame)this.get_child()).get_child()).margin_bottom = 0;
 			Frame frame = (Frame)this.get_child();
 			frame.set_shadow_type(ShadowType.NONE);
 
-- 
2.20.1

Places

File 0002-tweak-margins-and-allow-more-items-per-line.patch of Package gradio

Places