|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface RefreshAnnotationsDisplayListener
| Method Summary | |
|---|---|
void |
refreshAnnotationsDisplay(boolean scrollToSelection)
|
| Method Detail |
|---|
void refreshAnnotationsDisplay(boolean scrollToSelection)
scrollToSelection - this was added to the interface to solve a scrolling problem.
Essentially, when you scroll using a scroll bar, you do not
want to enforce that the selected annotation remain visible -
otherwise refreshing the annotations will cause the scroll bar
to go right back to the selected annotation immediately after
it is scrolled out of view.TextViewer.initialize(),
KnowtatorManager.refreshAnnotationsDisplay(boolean)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||