[dconf-editor] No search_entry popup when no search_entry.

[Arnaud Bonatti <arnaudb src gnome org>]

commit 0b9792a88cac2ba3d73a408a8d6506160665907c
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Dec 11 15:42:04 2017 +0100

    No search_entry popup when no search_entry.

 editor/dconf-window.vala |    9 +++++----
 1 files changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/editor/dconf-window.vala b/editor/dconf-window.vala
index 05b25dc..073d307 100644
--- a/editor/dconf-window.vala
+++ b/editor/dconf-window.vala
@@ -464,12 +464,13 @@ class DConfWindow : ApplicationWindow
     [GtkCallback]
     private bool on_key_press_event (Widget widget, Gdk.EventKey event)     // TODO better?
     {
+        string name = (!) (Gdk.keyval_name (event.keyval) ?? "");
+
         Widget? focus = get_focus ();
         if (!(focus is Entry) && !(focus is TextView)) // why is this needed?
-            if (search_bar.handle_event (event))
-                return true;
-
-        string name = (!) (Gdk.keyval_name (event.keyval) ?? "");
+            if (name != "F10")                         // else <Shift>F10 toggles the search_entry popup
+                if (search_bar.handle_event (event))
+                    return true;
 
         if ((event.state & Gdk.ModifierType.CONTROL_MASK) != 0)
         {