From 64d0d36e26a84c449f742cf7879af741c4de6904 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Thu, 15 Mar 2012 12:38:28 +0200
Subject: [PATCH] Compensate for borders when size is not undefined (#8313)

---
 src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java | 2 +-
 1 file changed, 1 insertion(+), 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 5b14bede1d..f6f14b47aa 100644
--- a/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java
@@ -970,7 +970,7 @@ public class VTabsheet extends VTabsheetBase implements Focusable,
             height = contentNode.getOffsetHeight();
         }
         if (!isDynamicWidth()) {
-            width = contentNode.getOffsetWidth();
+            width = contentNode.getOffsetWidth() - getContentAreaBorderWidth();
         } else {
             /*
              * If the tabbar is wider than the content we need to use the tabbar
-- 
2.39.5