[gtk] widget-factory: Remove double border around textview
- From: Timm Bäder <baedert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk] widget-factory: Remove double border around textview
- Date: Wed, 9 Oct 2019 15:02:33 +0000 (UTC)
commit 542b95e7e83e4657c433e75dd61c554e9526053c
Author: Timm Bäder <mail baedert org>
Date: Sun Oct 6 13:59:59 2019 +0200
widget-factory: Remove double border around textview
Replace the scrolledwindow border with two separator on top/bottom.
demos/widget-factory/widget-factory.ui | 12 +++++++++++-
1 file changed, 11 insertions(+), 1 deletion(-)
---
diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 84a4e00fab..44f7f2ab72 100644
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -2133,9 +2133,14 @@ FOO
</child>
</object>
</child>
+ <child>
+ <object class="GtkSeparator">
+ <property name="orientation">horizontal</property>
+ </object>
+ </child>
<child>
<object class="GtkScrolledWindow">
- <property name="shadow-type">in</property>
+ <property name="shadow-type">none</property>
<property name="vexpand">1</property>
<child>
<object class="MyTextView" id="text3">
@@ -2149,6 +2154,11 @@ FOO
</child>
</object>
</child>
+ <child>
+ <object class="GtkSeparator">
+ <property name="orientation">horizontal</property>
+ </object>
+ </child>
<child>
<object class="GtkStatusbar" id="statusbar"/>
</child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]