Remove deprecated margin-right

This commit is contained in:
Mathieu Comandon 2016-05-21 15:28:31 -07:00
parent adc0d6aa39
commit de9e0babfd

View file

@ -437,7 +437,6 @@
<object class="GtkToolItem" id="search_area">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_right">10</property>
<child>
<object class="GtkEntry" id="search_entry">
<property name="visible">True</property>