| |
|
| java.lang.Object org.eclipse.ui.internal.dialogs.PreferencePageHistory
PreferencePageHistory | class PreferencePageHistory (Code) | | History for navigating preference pages.
since: 3.1 |
Method Summary | |
public void | addHistoryEntry(PreferenceHistoryEntry entry) Adds the preference page path and its label to the page history. | public ToolBar | createHistoryControls(ToolBar historyBar, ToolBarManager manager) Creates the history toolbar and initializes historyToolbar . | public void | dispose() Dispose the receiver and clear out the references. |
PreferencePageHistory | public PreferencePageHistory(FilteredPreferenceDialog dialog)(Code) | | Creates a new history for the given dialog.
Parameters: dialog - the preference dialog to create a history for |
addHistoryEntry | public void addHistoryEntry(PreferenceHistoryEntry entry)(Code) | | Adds the preference page path and its label to the page history.
Parameters: entry - the preference page history entry |
createHistoryControls | public ToolBar createHistoryControls(ToolBar historyBar, ToolBarManager manager)(Code) | | Creates the history toolbar and initializes historyToolbar .
Parameters: historyBar - Parameters: manager - the control of the history toolbar |
dispose | public void dispose()(Code) | | Dispose the receiver and clear out the references.
|
|
|
|