diff options
Diffstat (limited to 'pluma/dialogs/pluma-search-dialog.ui')
-rwxr-xr-x | pluma/dialogs/pluma-search-dialog.ui | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pluma/dialogs/pluma-search-dialog.ui b/pluma/dialogs/pluma-search-dialog.ui index 4f137b19..73f64552 100755 --- a/pluma/dialogs/pluma-search-dialog.ui +++ b/pluma/dialogs/pluma-search-dialog.ui @@ -15,7 +15,6 @@ <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> <property name="focus_on_map">True</property> <property name="urgency_hint">False</property> - <property name="has_separator">False</property> <child internal-child="vbox"> <object class="GtkVBox" id="dialog-vbox1"> <property name="visible">True</property> |