1
0
mirror of https://github.com/gsi-upm/senpy synced 2024-11-22 00:02:28 +00:00

Fix bug in UI

Extra parameters of the plugins didn't get a box all the time.
This commit is contained in:
J. Fernando Sánchez 2018-01-01 13:12:09 +01:00
parent 0204e0b8e9
commit f93eed2cf5

View File

@ -57,22 +57,22 @@ $(document).ready(function() {
html+= " disabled=\"disabled\" "
}
html+=">"+plugin["name"]+"</option>"
}
if (plugin["extra_params"]){
plugins_params[plugin["name"]]={};
for (param in plugin["extra_params"]){
if (typeof plugin["extra_params"][param] !="string"){
var params = new Array();
var alias = plugin["extra_params"][param]["aliases"][0];
params[alias]=new Array();
for (option in plugin["extra_params"][param]["options"]){
params[alias].push(plugin["extra_params"][param]["options"][option])
}
plugins_params[plugin["name"]][alias] = (params[alias])
if (plugin["extra_params"]){
plugins_params[plugin["name"]]={};
for (param in plugin["extra_params"]){
if (typeof plugin["extra_params"][param] !="string"){
var params = new Array();
var alias = plugin["extra_params"][param]["aliases"][0];
params[alias]=new Array();
for (option in plugin["extra_params"][param]["options"]){
params[alias].push(plugin["extra_params"][param]["options"][option])
}
plugins_params[plugin["name"]][alias] = (params[alias])
}
}
}
}
}
}
var pluginEntry = document.createElement('li');
newHtml = ""