[gnome-boxes/margin-troubleshoot-log] troubleshoot-log: Don't add margin to scrollable area
- From: Felipe Borges <felipeborges src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-boxes/margin-troubleshoot-log] troubleshoot-log: Don't add margin to scrollable area
- Date: Tue, 30 Mar 2021 10:39:51 +0000 (UTC)
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]