add refresh keyboard shortcuts

bin/defaultProps.json

@@ -41,6 +41,8 @@
 	// view keys
 
 	"key.view.fullScreen" : "F11",
+	"key.view.refresh" : "F5",
+	"key.view.refreshApp" : "Ctrl-F5",
 
 	// File tree
 	"filetree.excludes": [

hide/view/FileView.hx

@@ -68,6 +68,8 @@ class FileView extends hide.ui.View<{ path : String }> {
 		keys.register("undo", function() undo.undo());
 		keys.register("redo", function() undo.redo());
 		keys.register("save", function() save());
+		keys.register("view.refresh", function() rebuild());
+		keys.register("view.refreshApp", function() untyped chrome.runtime.reload());
 	}
 
 	public function save() {