public class HelpBrowserHistory extends ChangeNotifier
Modifier and Type | Field and Description |
---|---|
private IHelpBrowser |
browser |
private java.util.List<java.lang.String> |
history |
private int |
historyPos |
Constructor and Description |
---|
HelpBrowserHistory(IHelpBrowser browser)
Constructs a new
HelpBrowserHistory . |
Modifier and Type | Method and Description |
---|---|
void |
back()
Go back.
|
boolean |
canGoBack()
Determines if the help browser can go back.
|
boolean |
canGoForward()
Determines if the help browser can go forward.
|
void |
clear()
Clears the history.
|
void |
forward()
Go forward.
|
void |
setCurrentUrl(java.lang.String url)
Remembers the new current URL.
|
addChangeListener, fireStateChanged, removeChangeListener
private final IHelpBrowser browser
private java.util.List<java.lang.String> history
private int historyPos
public HelpBrowserHistory(IHelpBrowser browser)
HelpBrowserHistory
.browser
- help browserpublic void clear()
public boolean canGoBack()
true
if a previous history position existspublic boolean canGoForward()
true
if a following history position existspublic void back()
public void forward()
public void setCurrentUrl(java.lang.String url)
url
- the new current URL