|
|||||||||
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 |