| java.lang.Object org.eclipse.ui.internal.dialogs.PreferenceHistoryEntry
PreferenceHistoryEntry | final class PreferenceHistoryEntry (Code) | | A preference history entry.
since: 3.1 |
PreferenceHistoryEntry | public PreferenceHistoryEntry(String id, String label, Object argument)(Code) | | Creates a new entry.
Parameters: id - the preference page id Parameters: label - the label to display, usually the preference page label Parameters: argument - an argument to pass to the preference page, may benull |
getArgument | public Object getArgument()(Code) | | Returns the preference page argument.
the preference page argument |
getId | public String getId()(Code) | | Returns the preference page id.
the preference page id |
getLabel | public String getLabel()(Code) | | Returns the preference page label.
the preference page label |
hashCode | public int hashCode()(Code) | | |
|
|