From 2ebbe3181ee452e940b9a719f03e9f862333bc3d Mon Sep 17 00:00:00 2001 From: Matti Tahvonen Date: Fri, 2 Nov 2007 09:57:28 +0000 Subject: [PATCH] renamed variable to be self documenting svn changeset:2673/svn branch:trunk --- .../toolkit/terminal/gwt/client/ui/IFilterSelect.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 cc384b1eb3..6f26d28cf1 100644 --- a/src/com/itmill/toolkit/terminal/gwt/client/ui/IFilterSelect.java +++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/IFilterSelect.java @@ -225,14 +225,14 @@ public class IFilterSelect extends Composite implements Paintable, offsetHeight = getOffsetHeight(); int desiredWidth = IFilterSelect.this.getOffsetWidth() - popupOpener.getOffsetWidth(); - int w2 = DOM.getElementPropertyInt(DOM.getFirstChild(menu.getElement()), "offsetWidth"); - if(w2 < desiredWidth) { + int naturalMenuWidth = DOM.getElementPropertyInt(DOM.getFirstChild(menu.getElement()), "offsetWidth"); + if(naturalMenuWidth < desiredWidth) { menu.setWidth(desiredWidth + "px"); DOM.setStyleAttribute(DOM.getFirstChild(menu.getElement()), "width", "100%"); - w2 = desiredWidth; + naturalMenuWidth = desiredWidth; } if(Util.isIE()) { - DOM.setStyleAttribute(getElement(), "width", w2 + "px"); + DOM.setStyleAttribute(getElement(), "width", naturalMenuWidth + "px"); } if (!isPagingEnabled && offsetHeight > Window.getClientHeight()) { -- 2.39.5