From abb4f21d03eff4a8522f06799b50a06efed1ee9a Mon Sep 17 00:00:00 2001 From: Artem Anufrij Date: Fri, 11 Aug 2017 20:48:53 +0200 Subject: [PATCH] reload by press (CTRL+)F5 --- src/WebWindow.vala | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/WebWindow.vala b/src/WebWindow.vala index 442d310..4550cea 100644 --- a/src/WebWindow.vala +++ b/src/WebWindow.vala @@ -149,6 +149,13 @@ namespace Webpin { case Gdk.Key.F11: toggle_fullscreen(); break; + case Gdk.Key.F5: + if (Gdk.ModifierType.CONTROL_MASK in event.state) { + web_app.app_view.reload (); + } else { + web_app.app_view.reload_bypass_cache (); + } + break; case Gdk.Key.Left: if (Gdk.ModifierType.MOD1_MASK in event.state) { web_app.app_view.go_back ();