From f597fdb60294604ce49678abd8746159313a39ce Mon Sep 17 00:00:00 2001
From: orbiter <mc@yacy.net>
Date: Thu, 17 Oct 2013 18:36:35 +0200
Subject: [PATCH] make it easier to filter properties (case insensitive)

---
 htroot/ConfigProperties_p.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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", "");