public class FileHintPreferences extends Object
FileObject
Modifier and Type | Class and Description |
---|---|
static interface |
FileHintPreferences.GlobalHintPreferencesProvider
Getter for global hints settings.
|
Constructor and Description |
---|
FileHintPreferences() |
Modifier and Type | Method and Description |
---|---|
static void |
addChangeListener(ChangeListener l)
Register listener to be notified about any change in the hints settings.
|
static void |
fireChange()
Fire event about changed hints settings.
|
static Preferences |
getFilePreferences(FileObject file,
String preferencesMimeType) |
static void |
openFilePreferences(FileObject file,
String preferencesMimeType,
String hintId)
Open hint settings for the specific file and hint.
|
static void |
removeChangeListener(ChangeListener l)
Unregister a listener previously registered by
FileHintPreferences.addChangeListener(javax.swing.event.ChangeListener) . |
public static Preferences getFilePreferences(FileObject file, String preferencesMimeType)
file
- preferencesMimeType
- public static void openFilePreferences(FileObject file, String preferencesMimeType, String hintId)
file
- file for which the settings should be openedpreferencesMimeType
- mime type for which the settings should be openedhintId
- hint id that should be openedpublic static void addChangeListener(ChangeListener l)
l
- the listenerpublic static void removeChangeListener(ChangeListener l)
FileHintPreferences.addChangeListener(javax.swing.event.ChangeListener)
.l
- the listenerpublic static void fireChange()