F5 for refresh

src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js

@@ -285,12 +285,17 @@ var regionChooser = (function(){
 		draw.setActive(false);
 	});
 	
-	// Pressing ESCAPE or DELETE resets the drawing.
 	// With OpenLayers 3.9, draw_interaction.removeLastPoint(); might be better.
 	document.addEventListener('keydown', function(e) {
-		if (e.which == 27 || e.which == 46){
+		//NOTE: e.key isn't defined in JavaFX Browser
+		if (e.which == 27 || e.which == 46){ // ESCAPE or DELETE.
 			resetDrawing();
 		}
+		if (e.which == 116 && fromJavaFX){ // F5 for refresh
+			dataPanel.prepend("<h2 class='ok'>Refreshing repository...</h2><br/>\n");
+			document.documentElement.className = 'wait';
+			fxapp.refreshHulls();
+		}
 	});
 
 	function resetDrawing(){