public interface FileEditorPositionListener
Modifier and Type | Method and Description |
---|---|
void |
onCurrentElementChanged()
Invoked when the selection in the editor linked to the structure view moves to
a different element visible in the structure view.
|