case-insensitive filtering

svn changeset:3193/svn branch:trunk

diff --git a/src/com/itmill/toolkit/terminal/gwt/client/ui/IFilterSelect.java b/src/com/itmill/toolkit/terminal/gwt/client/ui/IFilterSelect.java
index 4a1a617f5c31621679dbbb81c30ec86f855452cf..ab42f2d1dbede8b312203b125defc501f5ebbe38 100644 (file)
--- a/src/com/itmill/toolkit/terminal/gwt/client/ui/IFilterSelect.java
+++ b/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