Bugzilla – Full Text Bug Listing
| Summary: | DocumentRewriteSession scrolls viewport | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Stephan Wahlbrink <sw> |
| Component: | Text | Assignee: | Platform-Text-Inbox <platform-text-inbox> |
| Status: | REOPENED --- | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 4.6 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows 7 | ||
| Whiteboard: | stalebug | ||
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. As such, we're closing this bug. If you have further information on the current state of the bug, please add it and reopen this bug. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie. Still present. |
DocumentRewriteSession scrolls the viewport of TextViewers with variable line height. To reproduce: 1) Open a Wikitext editor (e.g. Textile). 2) Scroll the viewport a few lines, a line with different line height should be in the viewport. 3) "Shift right" some visible lines (select lines and press tab). => The viewport scrolls automatically It seems the problem is, that at the end of the rewrite session in TextViewer$ViewerState.updateViewerport calculates a wrong top pixel because the StyledTextWidget does not take into account the different line heights.