[gnome-text-editor] open-popover: tweak padding

[Christian Hergert <chergert src gnome org>]

commit a06b01149d413c235f93a146cb3b16236a187bed
Author: Christian Hergert <chergert redhat com>
Date:   Wed Sep 22 15:44:32 2021 -0700

    open-popover: tweak padding
    
    We lost some padding during the Adwaita style transitions, and need to
    make up for them manually now.
    
    Fixes #148

 src/editor-open-popover.ui | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/src/editor-open-popover.ui b/src/editor-open-popover.ui
index 8610f7c..8e5c1b0 100644
--- a/src/editor-open-popover.ui
+++ b/src/editor-open-popover.ui
@@ -26,8 +26,8 @@
         </child>
         <child>
           <object class="GtkSearchEntry" id="search_entry">
-            <property name="margin-top">3</property>
-            <property name="margin-bottom">3</property>
+            <property name="margin-top">9</property>
+            <property name="margin-bottom">9</property>
             <property name="width-chars">25</property>
             <signal name="changed" handler="on_search_entry_changed_cb" swapped="true" 
object="EditorOpenPopover"/>
             <signal name="activate" handler="on_search_entry_activate_cb" swapped="true" 
object="EditorOpenPopover"/>
@@ -78,7 +78,8 @@
         </child>
         <child>
           <object class="GtkSeparator">
-            <property name="margin-top">6</property>
+            <property name="margin-top">9</property>
+            <property name="margin-bottom">9</property>
             <property name="orientation">horizontal</property>
           </object>
         </child>