function josmEditHandler() {
var extent = getMapExtent();
+ var loaded = false;
+ $("linkloader").onload = function () { loaded = true; };
$("linkloader").src = "http://127.0.0.1:8111/load_and_zoom?left=" + extent.left + "&top=" + extent.top + "&right=" + extent.right + "&bottom=" + extent.bottom;
+ setTimeout(function () {
+ if (!loaded) alert("<%= t('site.index.josm_failed') %>");
+ }, 1000);
+
return false;
}
license_url: "http://creativecommons.org/licenses/by-sa/2.0/"
project_name: "OpenStreetMap project"
project_url: "http://openstreetmap.org"
+ josm_failed: "Editing failed - make sure JOSM is loaded and the remote control plugin is enabled"
edit:
not_public: "You have not set your edits to be public."
not_public_description: "You can no longer edit the map unless you do so. You can set your edits as public from your {{user_page}}."