[gtk/wip/exalm/polish: 6/7] inspector: Use consistent GtkTextView margins
- From: Alexander Mikhaylenko <alexm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk/wip/exalm/polish: 6/7] inspector: Use consistent GtkTextView margins
- Date: Sat, 23 Oct 2021 23:07:48 +0000 (UTC)
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]