[gnome-boxes/margin-troubleshoot-log] troubleshoot-log: Don't add margin to scrollable area




commit 630b1e49cfe4717e84aba3c26a64c38a3ed4aa44
Author: Felipe Borges <felipeborges gnome org>
Date:   Tue Mar 30 12:38:47 2021 +0200

    troubleshoot-log: Don't add margin to scrollable area
    
    Fixes #672

 data/ui/troubleshoot-log.ui | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)
---
diff --git a/data/ui/troubleshoot-log.ui b/data/ui/troubleshoot-log.ui
index b523df38..48c56c6c 100644
--- a/data/ui/troubleshoot-log.ui
+++ b/data/ui/troubleshoot-log.ui
@@ -7,15 +7,12 @@
     <property name="no-show-all">True</property>
     <property name="min-content-width">640</property>
     <property name="min-content-height">480</property>
-    <property name="margin-top">10</property>
-    <property name="margin-start">10</property>
-    <property name="margin-end">10</property>
-    <property name="margin-bottom">10</property>
 
     <child>
       <object class="GtkTextView" id="view">
         <property name="visible">True</property>
         <property name="editable">False</property>
+        <property name="margin">10</property>
       </object>
     </child>
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]