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.
|
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
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
public boolean ok()
PreferenceSetting
public void setDefaultFilter(java.lang.String substring)
substring
- The substring used to filterPrefJPanel.filter(String)