diff --git a/public/javascripts/init.js b/public/javascripts/init.js index 66efd2e79..e68f586b1 100644 --- a/public/javascripts/init.js +++ b/public/javascripts/init.js @@ -25,14 +25,20 @@ $(document).bind('keydown', 'alt+t', () => { }); $(document).bind('keydown', 'f5', () => { - location.reload(); + window.location.reload(true); + + return false; +}); + +$(document).bind('keydown', 'ctrl+r', () => { + window.location.reload(true); return false; }); $(document).bind('keydown', 'ctrl+shift+i', () => { if (isElectron()) { - require('remote').getCurrentWindow().toggleDevTools(); + require('electron').remote.getCurrentWindow().toggleDevTools(); return false; }