[gtk/wip/exalm/polish: 6/7] inspector: Use consistent GtkTextView margins




commit 2ac8132499405e864f91299934e8a5fd254a4834
Author: Alexander Mikhaylenko <alexm gnome org>
Date:   Sun Oct 24 03:58:21 2021 +0500

    inspector: Use consistent GtkTextView margins

 gtk/inspector/css-editor.ui    | 2 ++
 gtk/inspector/resource-list.ui | 4 ++++
 2 files changed, 6 insertions(+)
---
diff --git a/gtk/inspector/css-editor.ui b/gtk/inspector/css-editor.ui
index 18eb32d8e7..7663af860b 100644
--- a/gtk/inspector/css-editor.ui
+++ b/gtk/inspector/css-editor.ui
@@ -56,6 +56,8 @@
             <property name="monospace">1</property>
             <property name="left-margin">6</property>
             <property name="right-margin">6</property>
+            <property name="top-margin">6</property>
+            <property name="bottom-margin">6</property>
             <property name="has-tooltip">1</property>
             <signal name="query-tooltip" handler="query_tooltip_cb"/>
           </object>
diff --git a/gtk/inspector/resource-list.ui b/gtk/inspector/resource-list.ui
index 358458327d..4c78ca2083 100644
--- a/gtk/inspector/resource-list.ui
+++ b/gtk/inspector/resource-list.ui
@@ -201,6 +201,10 @@
                               <object class="GtkTextView">
                                 <property name="editable">0</property>
                                 <property name="buffer">buffer</property>
+                                <property name="left-margin">6</property>
+                                <property name="right-margin">6</property>
+                                <property name="top-margin">6</property>
+                                <property name="bottom-margin">6</property>
                               </object>
                             </child>
                           </object>


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