diff --git a/WebContent/OSRM.debug.js b/WebContent/OSRM.debug.js index 01114e866..9a1605872 100644 --- a/WebContent/OSRM.debug.js +++ b/WebContent/OSRM.debug.js @@ -16,14 +16,21 @@ OSRM.debug.init = function() { box.id = "OSRM.debug-box"; box.className = "gui-box"; box.style.cssText = "width:390px;top:0px;bottom:0px;"; + + var clear = document.createElement('a'); + clear.id = "OSRM.debug-clear"; + clear.className = "button not-selectable"; + clear.innerHTML = "clear"; + clear.onclick = OSRM.debug.clear; OSRM.debug.content= document.createElement('div'); OSRM.debug.content.id = "OSRM.debug-content"; - OSRM.debug.content.style.cssText = "position:absolute;bottom:0px;top:0px;width:380px;font-size:11px;overflow:auto;margin:5px;"; - + OSRM.debug.content.style.cssText = "position:absolute;bottom:0px;top:20px;width:380px;font-size:11px;overflow:auto;margin:5px;"; + // add elements document.body.appendChild(wrapper); wrapper.appendChild(box); + box.appendChild(clear); box.appendChild(OSRM.debug.content); }; if(document.addEventListener) // FF, CH diff --git a/WebContent/main.css b/WebContent/main.css index 94eba3c35..cdb0fc328 100644 --- a/WebContent/main.css +++ b/WebContent/main.css @@ -89,7 +89,7 @@ html, body, #map { padding:0px; } -#main-toggle +.main-toggle { cursor:pointer; position:absolute; @@ -110,11 +110,11 @@ html, body, #map { .main-options { - cursor:pointer; font-size:10px; } #options-toggle { + cursor:pointer; color:#0000ff } #options-toggle:hover @@ -175,6 +175,7 @@ html, body, #map { { color:#0000ff; text-decoration:none; + cursor:pointer; } #gpx-link:hover { @@ -240,6 +241,25 @@ html, body, #map { font-size:10px; } +/* generally useful styles (above buttons, so that they get their special cursor!)*/ +.not-selectable +{ + cursor:default; + -moz-user-select: -moz-none; + -webkit-user-select: none; + -ms-user-select: none; + user-select: none; +} + +.text-selectable +{ + cursor:default; + -moz-user-select: text; + -webkit-user-select: text; + -ms-user-select: text; + user-select: text; +} + /* buttons */ .button { @@ -263,23 +283,4 @@ html, body, #map { { background-color:#F4F4F4; color:#FF0000; -} - -/* generally useful styles */ -.not-selectable -{ - cursor:default; - -moz-user-select: -moz-none; - -webkit-user-select: none; - -ms-user-select: none; - user-select: none; -} - -.text-selectable -{ - cursor:default; - -moz-user-select: text; - -webkit-user-select: text; - -ms-user-select: text; - user-select: text; } \ No newline at end of file diff --git a/WebContent/main.html b/WebContent/main.html index bfa031774..98ec703f8 100644 --- a/WebContent/main.html +++ b/WebContent/main.html @@ -2,7 +2,7 @@ - + @@ -12,37 +12,37 @@ - - + + - - - - + + + + - - - + + + - - - - - - + + + + + + - - + + - - + + - + - + @@ -51,7 +51,7 @@
-
+
@@ -60,7 +60,7 @@
-
+
diff --git a/WebContent/routing.js b/WebContent/routing.js index 509f13feb..e09f8efe4 100644 --- a/WebContent/routing.js +++ b/WebContent/routing.js @@ -130,11 +130,11 @@ function showRouteDescription(response) { query_string += '&loc=' + my_markers.route[i].getLat() + ',' + my_markers.route[i].getLng(); // create link to the route - var route_link ='['+OSRM.loc("GET_LINK")+']'; + var route_link ='['+OSRM.loc("GET_LINK")+']'; //var route_link ='['+OSRM.loc("GET_LINK")+']'; // create GPX link - var gpx_link = '['+OSRM.loc("GPX_FILE")+']'; + var gpx_link = '['+OSRM.loc("GPX_FILE")+']'; // create route description var route_desc = "";