Open-Harbor/osrm-backend
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

added tooltip for gui boxes

Browse Source
This commit is contained in:
DennisSchiefer
2012-08-22 16:20:28 +01:00
parent 3f1c3e0923
commit 3fc8c4309f
12 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
WebContent/gui/OSRM.GUIBoxHandle.js
+1
View File
@@ -37,6 +37,7 @@ OSRM.GUIBoxHandle = function( box_name, side, css, transitionStartFct, transitio
var icon = document.createElement('div');
icon.id = box_name + '-handle-icon';
icon.className = 'iconic-button';
icon.title = box_name;
content.appendChild(icon);
wrapper.appendChild(content);
WebContent/gui/OSRM.MainGUI.js
+3
View File
@@ -73,6 +73,9 @@ setLabels: function() {
document.getElementById('gui-data-timestamp').innerHTML = OSRM.G.data_timestamp;
document.getElementById('gui-timestamp-label').innerHTML = OSRM.loc("GUI_VERSION");
document.getElementById('gui-timestamp').innerHTML = OSRM.DATE+"; v"+OSRM.VERSION;
document.getElementById('config-handle-icon').title = OSRM.loc("GUI_CONFIGURATION");
document.getElementById('mapping-handle-icon').title = OSRM.loc("GUI_MAPPING_TOOLS");
document.getElementById('main-handle-icon').title = OSRM.loc("GUI_MAIN_WINDOW");
document.getElementById("gui-units-toggle").getElementsByTagName("option")[0].innerHTML = OSRM.loc("GUI_KILOMETERS");
document.getElementById("gui-units-toggle").getElementsByTagName("option")[1].innerHTML = OSRM.loc("GUI_MILES");