public interface INavigationListener
Modifier and Type | Method and Description |
---|---|
void |
navigationOccured(int eventType,
INavigationProvider provider)
Sent when navigation occurs in the difference viewer
|
void navigationOccured(int eventType, INavigationProvider provider)
eventType
- the kind of event that happened. Event type is a bit flag.
Event types are defined in the NavigationEventType.provider
- the provider of the navigation functionalityNavigationEventType