[dconf-editor] Fix F10 shortcut.

[Arnaud B. <arnaudb src gnome org>]

commit 2069ca5064a532c8a5948266e0e338ed280df0c5
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Wed Nov 21 22:16:14 2018 +0100

    Fix F10 shortcut.

 editor/browser-headerbar.vala | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/editor/browser-headerbar.vala b/editor/browser-headerbar.vala
index f4d1b63..c53f286 100644
--- a/editor/browser-headerbar.vala
+++ b/editor/browser-headerbar.vala
@@ -383,7 +383,10 @@ private class BrowserHeaderBar : HeaderBar, AdaptativeWidget
 
     internal void toggle_hamburger_menu ()
     {
-        info_button.active = !info_button.active;
+        if (modifications_actions_button.visible)
+            modifications_actions_button.active = !modifications_actions_button.active;
+        else if (info_button.visible)
+            info_button.active = !info_button.active;
     }
 
     private bool delay_mode = false;