diff --git a/WebContent/gui/OSRM.Selector.js b/WebContent/gui/OSRM.Selector.js index f38afd01e..7f48de58e 100644 --- a/WebContent/gui/OSRM.Selector.js +++ b/WebContent/gui/OSRM.Selector.js @@ -68,20 +68,52 @@ selectorChange: function(id, value) { // replace selector options with new names selectorRenameOptions: function(id, options) { var select = document.getElementById(id); - var select_options = select.getElementsByTagName("option"); var styledSelect = document.getElementById("styled-select-"+id); - - // fill dropdown menu with new option names - for(var i = 0; i < select_options.length; i++) { - select_options[i].childNodes[0].nodeValue = options[i].display; + + // create new dropdown menu + var new_select = document.createElement("select"); + new_select.id = id; + new_select.className = select.className; + new_select.onchange = select.onchange; - if(select_options[i].selected == true) - styledSelect.childNodes[0].nodeValue = options[i].display; + // fill new dropdown menu + var selected_display = ""; + for(var i=0, size=options.length; i