diff options
| -rw-r--r-- | src/com/vaadin/terminal/gwt/client/Util.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/com/vaadin/terminal/gwt/client/Util.java b/src/com/vaadin/terminal/gwt/client/Util.java index 35a5b3fa46..c446d90fca 100644 --- a/src/com/vaadin/terminal/gwt/client/Util.java +++ b/src/com/vaadin/terminal/gwt/client/Util.java @@ -619,9 +619,11 @@ public class Util { elem.setScrollTop(scrollvalue); } - // fix for #5547: Table horizontal scroll sometimes not + // fix for #6940 : Table horizontal scroll sometimes not // updated when collapsing/expanding columns - if (BrowserInfo.get().isChrome() + // Also appeared in Safari 5.1 with webkit 534 (#7667) + if ((BrowserInfo.get().isChrome() || (BrowserInfo.get() + .isSafari() && BrowserInfo.get().getWebkitVersion() >= 534)) && (scrollleft > 0 || elem.getScrollLeft() > 0)) { int scrollvalue = scrollleft; |