reload by press (CTRL+)F5

This commit is contained in:
Artem Anufrij 2017-08-11 20:48:53 +02:00
parent 4cd5c8a6b3
commit abb4f21d03

View file

@ -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 ();