From 9843010d4792fc5cb61ed3e4d62f95a799922f1a Mon Sep 17 00:00:00 2001 From: Jouni Koivuviita Date: Thu, 10 Dec 2009 11:45:48 +0000 Subject: [PATCH] Additional fix for #3759 svn changeset:10229/svn branch:6.2 --- src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java b/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java index 162710515b..ae312c203a 100644 --- a/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java +++ b/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java @@ -908,7 +908,8 @@ public class VTabsheet extends VTabsheetBase { } private boolean isClippedTabs() { - return tb.getOffsetWidth() > getOffsetWidth() + return (tb.getOffsetWidth() - DOM.getElementPropertyInt((Element) tb + .getContainerElement().getLastChild().cast(), "offsetWidth")) > getOffsetWidth() - (isScrolledTabs() ? scroller.getOffsetWidth() : 0); } -- 2.39.5