diff options
| author | Juho Nurminen <juho@vaadin.com> | 2013-12-09 12:33:22 +0200 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-12-10 14:33:36 +0000 |
| commit | a494133164f4b3a725d1307da175f684c6a49dad (patch) | |
| tree | 66317ea8f273dd71110355d75168fed0c127b38f | |
| parent | b5a080cced33ad088ccd269da64ae495000baaa9 (diff) | |
| download | vaadin-framework-a494133164f4b3a725d1307da175f684c6a49dad.tar.gz vaadin-framework-a494133164f4b3a725d1307da175f684c6a49dad.zip | |
Fixed TabSheet tab bar sizing by removing an obsolete Safari hack (#12343)
Change-Id: I627dee377aa19aab2168152cf7cbe3cfd6f95e10
| -rw-r--r-- | client/src/com/vaadin/client/ui/VTabsheet.java | 5 |
1 files changed, 0 insertions, 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 |