public interface INavigationHistory
INavigationLocation
and a pointer
to the current location. Whenever the back or forward action runs the
history restores the previous or next location.
The back and/or forward actions should not change the content of the history
in any way.
If the user steps N times in one direction (back or forward) and then N times to
the oposite direction, the editor and location should be exactly the same as before.
Clients must guarantee that the current location is
always in the history, which can be done either by marking
a new location or by updating the current location.
Not intended to be implemented by clients.Modifier and Type | Method and Description |
---|---|
INavigationLocation |
getCurrentLocation()
Returns the current location.
|
INavigationLocation[] |
getLocations()
Returns all entries in the history.
|
void |
markLocation(IEditorPart part)
Mark the current location into the history.
|
void markLocation(IEditorPart part)
INavigationLocationProvider.createNavigationLocation
part
- the editor partINavigationLocation getCurrentLocation()
INavigationLocation[] getLocations()
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.