Searched refs:fPageChangedListener (Results 1 – 1 of 1) sorted by relevance
41 private final IPageChangedListener fPageChangedListener; field in MultiPageMinimapPage48 this.fPageChangedListener = e -> { in MultiPageMinimapPage()73 multiPageEditor.addPageChangedListener(fPageChangedListener); in MultiPageMinimapPage()81 fPageChangedListener.pageChanged(null); in createControl()97 fMultiPageEditor.removePageChangedListener(fPageChangedListener); in dispose()