public interface IPageChangedListener
IPageChangeProvider
,
PageChangedEvent
Modifier and Type | Method and Description |
---|---|
void |
pageChanged(PageChangedEvent event)
Notifies that the selected page has changed.
|
void pageChanged(PageChangedEvent event)
event
- event object describing the changeGuidelines for using Eclipse APIs. Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.