Remove some margins

This commit is contained in:
Hugo Posnic 2023-03-27 12:26:04 +02:00
parent f234dbce9e
commit bdf94584db

View File

@ -84,9 +84,6 @@
</child>
<child>
<object class="GtkBox" id="resultbox">
<property name="margin-start">10</property>
<property name="margin-end">10</property>
<property name="margin-top">10</property>
<property name="vexpand">true</property>
<child>
<object class="GtkScrolledWindow" id="scrolled_window">