Fixes missing 'px' suffix in moving the focusable element (was causing issues
in standards mode).

Patch by: ecc
Review by: jgw



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@2375 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/client/ui/Tree.java b/user/src/com/google/gwt/user/client/ui/Tree.java
index d0980fc..5801f50 100644
--- a/user/src/com/google/gwt/user/client/ui/Tree.java
+++ b/user/src/com/google/gwt/user/client/ui/Tree.java
@@ -387,6 +387,7 @@
         }
         break;
       }
+
       case Event.ONMOUSEDOWN: {
         if (mouseListeners != null) {
           mouseListeners.fireMouseEvent(this, event);
@@ -941,10 +942,10 @@
       
       // Set the focusable element's position and size to exactly underlap the
       // item's content element.
-      DOM.setIntStyleAttribute(focusable, "left", left);
-      DOM.setIntStyleAttribute(focusable, "top", top);
-      DOM.setIntStyleAttribute(focusable, "width", width);
-      DOM.setIntStyleAttribute(focusable, "height", height);
+      DOM.setStyleAttribute(focusable, "left", left + "px");
+      DOM.setStyleAttribute(focusable, "top", top + "px");
+      DOM.setStyleAttribute(focusable, "width", width + "px");
+      DOM.setStyleAttribute(focusable, "height", height + "px");
 
       // Scroll it into view.
       DOM.scrollIntoView(focusable);