diff options
author | Henrik Paul <henrik@vaadin.com> | 2015-02-23 13:45:44 +0200 |
---|---|---|
committer | Henrik Paul <henrik@vaadin.com> | 2015-02-24 12:13:41 +0000 |
commit | 2b8846335d5e315966e2698faafe8f8695198f66 (patch) | |
tree | f05479686aa27b9be0bfc71e7e8aed2970f20453 | |
parent | 7d65a56a9b91f37da079dc15d678cff115cd4d46 (diff) | |
download | vaadin-framework-2b8846335d5e315966e2698faafe8f8695198f66.tar.gz vaadin-framework-2b8846335d5e315966e2698faafe8f8695198f66.zip |
Fixes fast Escalator scrolling with spacers (#16644).
Change-Id: I2c79cc972e35ffe37a6fb3cc97b6fc937c3d32f7
-rw-r--r-- | client/src/com/vaadin/client/widgets/Escalator.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/client/src/com/vaadin/client/widgets/Escalator.java b/client/src/com/vaadin/client/widgets/Escalator.java index 5711ca4731..bca0cc9afb 100644 --- a/client/src/com/vaadin/client/widgets/Escalator.java +++ b/client/src/com/vaadin/client/widgets/Escalator.java @@ -2756,7 +2756,13 @@ public class Escalator extends Widget implements RequiresResize, for (int i = 0; i < visualSourceRange.length(); i++) { final TableRowElement tr = iter.next(); setRowPosition(tr, 0, newRowTop); + newRowTop += getDefaultRowHeight(); + SpacerContainer.SpacerImpl spacer = spacerContainer + .getSpacer(logicalTargetIndex + i); + if (spacer != null) { + newRowTop += spacer.getHeight(); + } } } } |