@@ -304,7 +304,7 @@ var regionChooser = (function(){
...
@@ -304,7 +304,7 @@ var regionChooser = (function(){
try{
try{
draw.finishDrawing();
draw.finishDrawing();
}finally{
}finally{
dataPanel.empty();
displayHelp();
$("html").removeClass("wait");
$("html").removeClass("wait");
draw.setActive(true);
draw.setActive(true);
featureOverlay.getFeatures().clear();
featureOverlay.getFeatures().clear();
...
@@ -361,11 +361,21 @@ var regionChooser = (function(){
...
@@ -361,11 +361,21 @@ var regionChooser = (function(){
fxapp.log(message);
fxapp.log(message);
}
}
}
}
functiondisplayHelp(){
dataPanel.empty();
dataPanel.append("Welcome to Region Chooser!<br><br>\n");
dataPanel.append("You can draw a polygon on the map by clicking.<br>\n");
dataPanel.append("You can add a new point to an existing edge by clicking and dragging.<br>\n");
dataPanel.append("You can remove a point with SHIFT + clicking.<br>\n");
dataPanel.append("You can cancel drawing with ESC or DEL.<br><br>\n");
dataPanel.append("After drawing a polygon which intersects with a GML file, you can download the corresponding part by clicking on the filename.<br>\n");