public final class NavigationHistory extends Object
Modifier and Type | Class and Description |
---|---|
static class |
NavigationHistory.Waypoint |
Modifier and Type | Field and Description |
---|---|
static String |
PROP_WAYPOINTS |
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(PropertyChangeListener l) |
NavigationHistory.Waypoint |
getCurrentWaypoint() |
static NavigationHistory |
getEdits() |
static NavigationHistory |
getNavigations() |
List<NavigationHistory.Waypoint> |
getNextWaypoints() |
List<NavigationHistory.Waypoint> |
getPreviousWaypoints() |
boolean |
hasNextWaypoints()
Is pointer showing other than last waypoint entry
|
boolean |
hasPreviousWaypoints()
Is pointer showing other than first waypoint entry
|
NavigationHistory.Waypoint |
markWaypoint(JTextComponent comp,
int offset,
boolean currentPosition,
boolean append)
Create and add new waypoint to navigation history
|
NavigationHistory.Waypoint |
navigateBack()
Change selected waypoint by moving pointer to previous waypoint
|
NavigationHistory.Waypoint |
navigateFirst()
Change selected waypoint by moving pointer to first waypoint
|
NavigationHistory.Waypoint |
navigateForward()
Change selected waypoint by moving pointer to next waypoint
|
NavigationHistory.Waypoint |
navigateLast()
Change selected waypoint by moving pointer to last waypoint
|
NavigationHistory.Waypoint |
navigateTo(NavigationHistory.Waypoint waypoint)
Change selected waypoint by moving pointer to waypoint in parameter
|
void |
removePropertyChangeListener(PropertyChangeListener l) |
public static final String PROP_WAYPOINTS
public static NavigationHistory getNavigations()
public static NavigationHistory getEdits()
public void addPropertyChangeListener(PropertyChangeListener l)
public void removePropertyChangeListener(PropertyChangeListener l)
public NavigationHistory.Waypoint markWaypoint(JTextComponent comp, int offset, boolean currentPosition, boolean append) throws BadLocationException
offset
- A valid ofset inside the component's document or -1 if the
offset is unspecified.BadLocationException
public NavigationHistory.Waypoint getCurrentWaypoint()
public boolean hasPreviousWaypoints()
public boolean hasNextWaypoints()
public List<NavigationHistory.Waypoint> getPreviousWaypoints()
public List<NavigationHistory.Waypoint> getNextWaypoints()
public NavigationHistory.Waypoint navigateBack()
public NavigationHistory.Waypoint navigateForward()
public NavigationHistory.Waypoint navigateTo(NavigationHistory.Waypoint waypoint)
public NavigationHistory.Waypoint navigateFirst()
public NavigationHistory.Waypoint navigateLast()