diff options
author | Christian Dywan <christian@twotoasts.de> | 2018-10-31 11:24:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-31 11:24:22 +0100 |
commit | e55b19c0ef18cf9f1a7f6f13ad8ab656f31b055b (patch) | |
tree | 41c58aa57098ab65d6c150518fcca754f17bba85 | |
parent | ff9ef19b39e746acc6931482f63eb4175ff2be25 (diff) | |
download | midori-git-e55b19c0ef18cf9f1a7f6f13ad8ab656f31b055b.tar.gz |
Drop unnecessary Escape key handing from Preferences (#141)
This was previously needed when `Midori.Preferences` was implemented as a `Gtk.Window`.
-rw-r--r-- | core/preferences.vala | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/core/preferences.vala b/core/preferences.vala index a7bd5949..3e406c64 100644 --- a/core/preferences.vala +++ b/core/preferences.vala @@ -162,15 +162,6 @@ namespace Midori { extensions.foreach ((extensions, info, extension) => { extensions.extension_added (info, extension); }); } - protected override bool key_press_event (Gdk.EventKey event) { - // Close on Escape like a Gtk.Dialog - if (event.keyval == Gdk.Key.Escape) { - close (); - return true; - } - return base.key_press_event (event); - } - /* * Add a new category of preferences to be shown in the dialog. * An appropriate margin will automatically be added. |