public final class ShortcutPreference extends DefaultTabPreferenceSetting
Modifier and Type | Class and Description |
---|---|
static class |
ShortcutPreference.Factory
Factory used to create a new
ShortcutPreference . |
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
defaultFilter |
Modifier | Constructor and Description |
---|---|
private |
ShortcutPreference() |
Modifier and Type | Method and Description |
---|---|
void |
addGui(PreferenceTabbedPane gui)
Add the GUI elements to the dialog.
|
java.lang.String |
getHelpContext()
Returns the help context for this preferences settings tab.
|
boolean |
ok()
Called when OK is pressed to save the setting in the preferences file.
|
void |
setDefaultFilter(java.lang.String substring)
Sets the default filter used to show only shortcuts with descriptions containing given substring.
|
addSubTab, addSubTab, createPreferenceTabWithScrollPane, getDescription, getIconName, getSubTab, getTabPane, getTitle, getTooltip, registerSubTab, selectSubTab
isExpert, saveBoolean, saveDouble, saveInt
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isExpert
private java.lang.String defaultFilter
private ShortcutPreference()
public void addGui(PreferenceTabbedPane gui)
PreferenceSetting
gui
- the preferences tab panepublic boolean ok()
PreferenceSetting
true
if restart is requiredpublic void setDefaultFilter(java.lang.String substring)
substring
- The substring used to filterPrefJPanel.filter(String)
public java.lang.String getHelpContext()
TabPreferenceSetting
getHelpContext
in interface TabPreferenceSetting
getHelpContext
in class DefaultTabPreferenceSetting