widget-factory: Remove double border around textview

Replace the scrolledwindow border with two separator on top/bottom.
This commit is contained in:
Timm Bäder 2019-10-06 13:59:59 +02:00
parent 3d3525a589
commit 542b95e7e8

View File

@ -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>