From: Timm Bäder <mail@baedert.org>
Date: Sun, 6 Oct 2019 11:59:59 +0000 (+0200)
Subject: widget-factory: Remove double border around textview
X-Git-Tag: archive/raspbian/4.4.1+ds1-2+rpi1^2~18^2~20^2~765
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=542b95e7e83e4657c433e75dd61c554e9526053c;p=gtk4.git

widget-factory: Remove double border around textview

Replace the scrolledwindow border with two separator on top/bottom.
---

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>