From a494133164f4b3a725d1307da175f684c6a49dad Mon Sep 17 00:00:00 2001
From: Juho Nurminen <juho@vaadin.com>
Date: Mon, 9 Dec 2013 12:33:22 +0200
Subject: [PATCH] Fixed TabSheet tab bar sizing by removing an obsolete Safari
 hack (#12343)

Change-Id: I627dee377aa19aab2168152cf7cbe3cfd6f95e10
---
 client/src/com/vaadin/client/ui/VTabsheet.java | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/client/src/com/vaadin/client/ui/VTabsheet.java b/client/src/com/vaadin/client/ui/VTabsheet.java
index 379b6107f4..b65f058a46 100644
--- a/client/src/com/vaadin/client/ui/VTabsheet.java
+++ b/client/src/com/vaadin/client/ui/VTabsheet.java
@@ -988,11 +988,6 @@ public class VTabsheet extends VTabsheetBase implements Focusable,
         }
 
         if (BrowserInfo.get().isSafari()) {
-            // fix tab height for safari, bugs sometimes if tabs contain icons
-            String property = tabs.getStyle().getProperty("height");
-            if (property == null || property.equals("")) {
-                tabs.getStyle().setPropertyPx("height", tb.getOffsetHeight());
-            }
             /*
              * another hack for webkits. tabscroller sometimes drops without
              * "shaking it" reproducable in
-- 
2.39.5