[Dive4elements-commits] [PATCH 4 of 8] Rename filter into filterpanel

[Wald Commits]

# HG changeset patch
# User Björn Ricks <bjoern.ricks at intevation.de>
# Date 1355757267 -3600
# Node ID f2578acc60d7e57c2dc93e07039e5d45a94614ee
# Parent  62091b0ef789d031c31fc24e5cc3bcda921f312a
Rename filter into filterpanel

Differenciate between the current filter string and the filterpanel

diff -r 62091b0ef789 -r f2578acc60d7 flys-client/src/main/java/de/intevation/flys/client/client/ui/ProjectList.java
--- a/flys-client/src/main/java/de/intevation/flys/client/client/ui/ProjectList.java	Mon Dec 17 16:13:42 2012 +0100
+++ b/flys-client/src/main/java/de/intevation/flys/client/client/ui/ProjectList.java	Mon Dec 17 16:14:27 2012 +0100
@@ -410,14 +410,14 @@
         titleWrapper.setWidth100();
         gridWrapper.addChild(grid);
 
-        TableFilter filter = new TableFilter();
-        filter.setHeight("30px");
-        filter.addFilterHandler(this);
-        filter.setBorder("1px solid gray");
+        TableFilter filterpanel = new TableFilter();
+        filterpanel.setHeight("30px");
+        filterpanel.addFilterHandler(this);
+        filterpanel.setBorder("1px solid gray");
 
         addMember(titleWrapper);
         addMember(gridWrapper);
-        addMember(filter);
+        addMember(filterpanel);
 
         addButton.addClickHandler(
                 new com.google.gwt.event.dom.client.ClickHandler() {