case-insensitive filtering

svn changeset:3193/svn branch:trunk

src/com/itmill/toolkit/terminal/gwt/client/ui/IFilterSelect.java

@@ -547,7 +547,9 @@ public class IFilterSelect extends Composite implements Paintable,
             captions += suggestion.getReplacementString();
         }
 
-        if (filtering && lastFilter.equals(uidl.getStringVariable("filter"))) {
+        if (filtering
+                && lastFilter.toLowerCase().equals(
+                        uidl.getStringVariable("filter"))) {
             suggestionPopup.showSuggestions(currentSuggestions, currentPage,
                     totalMatches);
             filtering = false;
@@ -680,26 +682,27 @@ public class IFilterSelect extends Composite implements Paintable,
     /*
      * Calculate minumum width for FilterSelect textarea
      */
-    private native int minWidth(String captions) /*-{
-                                                                         	if(!captions || captions.length <= 0)
-                                                                         		return 0;
-                                                                         	captions = captions.split("|");
-                                                                         	var d = $wnd.document.createElement("div");
-                                                                         	var html = "";
-                                                                         	for(var i=0; i < captions.length; i++) {
-                                                                         		html += "<div>" + captions[i] + "</div>";
-                                                                         		// TODO apply same CSS classname as in suggestionmenu
-                                                                         	}
-                                                                         	d.style.position = "absolute";
-                                                                         	d.style.top = "0";
-                                                                         	d.style.left = "0";
-                                                                         	d.style.visibility = "hidden";
-                                                                         	d.innerHTML = html;
-                                                                         	$wnd.document.body.appendChild(d);
-                                                                         	var w = d.offsetWidth;
-                                                                         	$wnd.document.body.removeChild(d);
-                                                                         	return w;
-                                                                         }-*/;
+    private native int minWidth(String captions)
+    /*-{
+        if(!captions || captions.length <= 0)
+        	return 0;
+        captions = captions.split("|");
+        var d = $wnd.document.createElement("div");
+        var html = "";
+        for(var i=0; i < captions.length; i++) {
+        	html += "<div>" + captions[i] + "</div>";
+        	// TODO apply same CSS classname as in suggestionmenu
+        }
+        d.style.position = "absolute";
+        d.style.top = "0";
+        d.style.left = "0";
+        d.style.visibility = "hidden";
+        d.innerHTML = html;
+        $wnd.document.body.appendChild(d);
+        var w = d.offsetWidth;
+        $wnd.document.body.removeChild(d);
+        return w;
+    }-*/;
 
     public void onFocus(Widget sender) {
         // NOP