fixed bug causing random number format exception

svn changeset:6275/svn branch:trunk

src/com/itmill/toolkit/terminal/gwt/client/Util.java

@@ -368,7 +368,7 @@ public class Util {
             return paddingBorderGuess;
         } else if (height.endsWith("px")) {
             int pixelHeight = Integer.parseInt(height.substring(0, height
-                    .length() - 3));
+                    .length() - 2));
             return setHeightExcludingPaddingAndBorder(widget.getElement(),
                     pixelHeight, paddingBorderGuess, false);
         } else {