| Summary: | [navigation] flashing of the editor when reselecting an element from the outline | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Tom Hofmann <eclipse> | ||||
| Component: | Text | Assignee: | JDT-UI-Inbox <jdt-ui-inbox> | ||||
| Status: | RESOLVED DUPLICATE | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P4 | ||||||
| Version: | 3.1 | ||||||
| Target Milestone: | 3.2 | ||||||
| Hardware: | PC | ||||||
| OS: | Linux-GTK | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Tom Hofmann
Investigate for RC2 (time permitting). Tom, please whether you can still reproduce using the patch I gave you. Created attachment 21945 [details]
96782.png
It does not flash any longer, but I see this behavior:
The text widget's scroll position is not correctly initialized when first
shown, i.e. when opening StyledText.setSelection(Point) from the package
explorer, the selected method is shown. However, the vertical scrollbar still
show the top-most position, the horizontal bar shows the left most position,
although neither is true (see screenshot).
Upon moving the caret such that it goes beyond the viewport boundaries, the
scrollbars are correctly set to the expected position.
Upon scrolling the editor using the mouse wheel, the opposite happens: the
editor is scrolled to the position that the scrollbars indicated (offset 0).
|