File 0001-allow-smaller-window-size.patch of Package gradio

Overview Repositories Revisions Requests Users Attributes Meta

File 0001-allow-smaller-window-size.patch of Package gradio

From f77fb631f889e91a44edc11571a59c8e668a80ec Mon Sep 17 00:00:00 2001
From: Stefan Assmann <sassmann@kpanic.de>
Date: Tue, 9 Apr 2019 09:39:55 +0200
Subject: [PATCH 1/2] allow smaller window size

---
 data/ui/main-window.ui       | 2 +-
 data/ui/page/library-page.ui | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/data/ui/main-window.ui b/data/ui/main-window.ui
index a0f94ddfd9bd..f0afacf9c5a0 100644
--- a/data/ui/main-window.ui
+++ b/data/ui/main-window.ui
@@ -4,7 +4,7 @@
   <requires lib="gtk+" version="3.14"/>
   <template class="GradioMainWindow" parent="GtkApplicationWindow">
     <property name="width_request">600</property>
-    <property name="height_request">400</property>
+    <property name="height_request">200</property>
     <property name="can_focus">False</property>
     <property name="title" translatable="yes">Gradio</property>
     <property name="icon_name">de.haeckerfelix.gradio</property>
diff --git a/data/ui/page/library-page.ui b/data/ui/page/library-page.ui
index fb8b389a549c..9472bd8808c9 100644
--- a/data/ui/page/library-page.ui
+++ b/data/ui/page/library-page.ui
@@ -25,7 +25,7 @@
               <object class="GtkImage">
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
-                <property name="pixel_size">192</property>
+                <property name="pixel_size">24</property>
                 <property name="icon_name">de.haeckerfelix.gradio-symbolic</property>
                 <style>
                   <class name="dim-label"/>
-- 
2.20.1

Places

File 0001-allow-smaller-window-size.patch of Package gradio

Places