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, removeChangeListenerprivate 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