From 13f85aab7d81903e7172567a1f8dd7cb3e629d97 Mon Sep 17 00:00:00 2001
From: Eric Duminil <eric.duminil@gmail.com>
Date: Wed, 12 Oct 2022 10:58:21 +0200
Subject: [PATCH] F5 for refresh
---
.../regionchooser/website/script/simstadt_openlayers.js | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js b/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
index c06cf11..a889bdb 100644
--- a/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
+++ b/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(){
--
GitLab