public class BrowserHistory
extends java.lang.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(javax.swing.tree.TreePath newPath)
Add a navigation step to the history.
|
void |
updateHistory(javax.swing.tree.TreePath newPath,
java.lang.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(javax.swing.tree.TreePath newPath)
newPath
- the selected tree path in BrowserTreePanepublic void updateHistory(javax.swing.tree.TreePath newPath, java.lang.Integer offset)
newPath
- the selected tree path in BrowserTreePaneoffset
- the target's offset in the code. Null if
not applicable.