diff options
| -rw-r--r-- | src/com/itmill/toolkit/terminal/gwt/client/Util.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/com/itmill/toolkit/terminal/gwt/client/Util.java b/src/com/itmill/toolkit/terminal/gwt/client/Util.java index 40312df17d..42d1f869bb 100644 --- a/src/com/itmill/toolkit/terminal/gwt/client/Util.java +++ b/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 { |