diff options
| author | orbiter <mc@yacy.net> | 2013-10-17 18:36:35 +0200 |
|---|---|---|
| committer | orbiter <mc@yacy.net> | 2013-10-17 18:36:35 +0200 |
| commit | f597fdb60294604ce49678abd8746159313a39ce (patch) | |
| tree | c2295bdab70513ebada3675f3877e4b2bc632af8 /htroot/ConfigProperties_p.html | |
| parent | c833d02cf5e285c9ba79161cf5b906106b920963 (diff) | |
make it easier to filter properties (case insensitive)
Diffstat (limited to 'htroot/ConfigProperties_p.html')
| -rw-r--r-- | htroot/ConfigProperties_p.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/htroot/ConfigProperties_p.html b/htroot/ConfigProperties_p.html index 39e4a767f..da5e3c958 100644 --- a/htroot/ConfigProperties_p.html +++ b/htroot/ConfigProperties_p.html @@ -18,7 +18,7 @@ key=document.getElementById("key").value;
while(node!=null){
if(node.nodeType==1 && node.nodeName.toLowerCase()=="option"){
- if(key!="" && node.firstChild.nodeValue.indexOf(key)==-1){
+ if(key!="" && node.firstChild.nodeValue.toLowerCase().indexOf(key.toLowerCase())==-1){
node.setAttribute("class", "filtered");
}else{
node.setAttribute("class", "");
|