|
@@ -86,7 +86,7 @@
|
|
|
<child>
|
|
<child>
|
|
|
<object class="GtkScrolledWindow">
|
|
<object class="GtkScrolledWindow">
|
|
|
<property name="visible">True</property>
|
|
<property name="visible">True</property>
|
|
|
- <property name="margin">6</property>
|
|
|
|
|
|
|
+ <property name="margin">12</property>
|
|
|
<child>
|
|
<child>
|
|
|
<object class="GtkSourceView" id="source_view">
|
|
<object class="GtkSourceView" id="source_view">
|
|
|
<property name="visible">True</property>
|
|
<property name="visible">True</property>
|
