|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FontPreferenceEditor | |
---|---|
nl.cwi.sen1.tide.tool.prefeditor |
Uses of FontPreferenceEditor in nl.cwi.sen1.tide.tool.prefeditor |
---|
Fields in nl.cwi.sen1.tide.tool.prefeditor declared as FontPreferenceEditor | |
---|---|
private FontPreferenceEditor |
FontPanel.editor
|
private FontPreferenceEditor |
PreferencesEditor.fontPrefs
|
Constructors in nl.cwi.sen1.tide.tool.prefeditor with parameters of type FontPreferenceEditor | |
---|---|
FontPanel(FontPreferenceEditor editor,
PreferenceSet prefs,
java.lang.String key)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |