public class BrowserHistory extends Object
Constructor and Description |
---|
BrowserHistory(BrowserServices services)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clear the navigation history.
|
void |
historyBackward()
Move one step backward in the navigation history.
|
void |
historyForward()
Move one step forward in the navigation history.
|
void |
updateActions()
Update the availability of the actions associated with the
navigation history.
|
void |
updateHistory(TreePath newPath)
Add a navigation step to the history.
|
void |
updateHistory(TreePath newPath,
Integer offset)
Add a navigation step to the history.
|
public BrowserHistory(BrowserServices services)
services
- the associated browser services.public void clear()
public void historyBackward()
public void historyForward()
public void updateActions()
public void updateHistory(TreePath newPath)
newPath
- the selected tree path in BrowserTreePane