| commit | c20cb55224b7ae51847a853aecae3db792e35b12 | [log] [tgz] |
|---|---|---|
| author | Markus Keller <markus_keller@ch.ibm.com> | Fri Mar 11 18:16:26 2016 +0100 |
| committer | Markus Keller <markus_keller@ch.ibm.com> | Fri Mar 11 18:16:26 2016 +0100 |
| tree | 403bdec2faf18bc373f64c27e248ae949c17c596 | |
| parent | d85b2162b0ae691370600730402bcd0086076303 [diff] | |
| parent | f50994fe9b815dddd13700087e2289575a82e8b7 [diff] |
Merge branch 'master' into slakkimsetti/HighDPIChangesforNeon
diff --git a/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java b/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java index f34c6d4..c2a7623 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java +++ b/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java
@@ -1595,7 +1595,7 @@ // client area or if space is available but not used (the latter should // never happen because we use claimBottomFreeSpace) if (fullLineVisibleHeight < verticalIncrement) { - topIndex--; + topIndex = getVerticalScrollOffset() / verticalIncrement; } } else if (topIndex >= content.getLineCount()) { topIndex = content.getLineCount() - 1;