public abstract class EditorSettings extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PROP_CURRENT_FONT_COLOR_PROFILE
Property name constant.
|
static String |
PROP_CURRENT_KEY_MAP_PROFILE
Property name constant.
|
static String |
PROP_DEFAULT_FONT_COLORS
Deprecated.
This has always been meant for internal use only. As per
general contract clients should listen on mime type specific Lookup for
changes in editor settings.
|
static String |
PROP_EDITOR_FONT_COLORS
Deprecated.
This has always been meant for internal use only. As per
general contract clients should listen on mime type specific Lookup for
changes in editor settings.
|
static String |
PROP_MIME_TYPES |
Constructor and Description |
---|
EditorSettings() |
Modifier and Type | Method and Description |
---|---|
abstract void |
addPropertyChangeListener(PropertyChangeListener l)
PropertyChangeListener registration.
|
abstract void |
addPropertyChangeListener(String propertyName,
PropertyChangeListener l)
PropertyChangeListener registration.
|
abstract Set<String> |
getAllMimeTypes()
Gets all top level mime types registered under the
Editors/
folder. |
abstract Map<String,AttributeSet> |
getAnnotationDefaults(String profile)
Returns defaults for annotation properties for given profile,
or null if the profile is not known.
|
abstract Map<String,AttributeSet> |
getAnnotations(String profile)
Returns annotations properties for given profile or null, if the
profile is not known.
|
abstract String |
getCurrentFontColorProfile()
Returns name of current font & colors profile.
|
abstract String |
getCurrentKeyMapProfile()
Returns name of current keymap profile.
|
static EditorSettings |
getDefault()
Returns default instance of EditorSettings.
|
abstract Collection<AttributeSet> |
getDefaultFontColorDefaults(String profile)
Deprecated.
Use getFontColorSettings(new String[0]).getAllFontColorsDefaults(profile) instead.
|
abstract Collection<AttributeSet> |
getDefaultFontColors(String profile)
Deprecated.
Use getFontColorSettings(new String[0]).getAllFontColors(profile) instead.
|
abstract Set<String> |
getFontColorProfiles()
Returns set of font & colors profiles.
|
abstract FontColorSettingsFactory |
getFontColorSettings(String[] mimeTypes)
Returns FontColorSettings for given mimetypes.
|
abstract Map<String,AttributeSet> |
getHighlightingDefaults(String profile)
Returns defaults for highlighting properties for given profile,
or null if the profile is not known.
|
abstract Map<String,AttributeSet> |
getHighlightings(String profile)
Returns highlighting properties for given profile or null, if the
profile is not known.
|
abstract KeyBindingSettingsFactory |
getKeyBindingSettings(String[] mimeTypes)
Returns KeyBindingSettings for given mimetypes.
|
abstract Set<String> |
getKeyMapProfiles()
Returns set of keymap profiles.
|
abstract String |
getLanguageName(String mimeType)
Returns name of language for given mime type.
|
abstract Set<String> |
getMimeTypes()
Returns set of mimetypes.
|
abstract boolean |
isCustomFontColorProfile(String profile)
Returns true for user defined profile.
|
abstract boolean |
isCustomKeymapProfile(String profile)
Returns true for user defined profile.
|
abstract void |
removePropertyChangeListener(PropertyChangeListener l)
PropertyChangeListener registration.
|
abstract void |
removePropertyChangeListener(String propertyName,
PropertyChangeListener l)
PropertyChangeListener registration.
|
abstract void |
setAnnotations(String profile,
Map<String,AttributeSet> annotations)
Sets annotation properties for given profile.
|
abstract void |
setCurrentFontColorProfile(String profile)
Sets current font & colors profile.
|
abstract void |
setCurrentKeyMapProfile(String profile)
Sets current keymap profile.
|
abstract void |
setDefaultFontColors(String profile,
Collection<AttributeSet> fontColors)
Deprecated.
Use getFontColorSettings(new String[0]).setAllFontColors(profile, fontColors) instead.
|
abstract void |
setHighlightings(String profile,
Map<String,AttributeSet> highlightings)
Sets highlighting properties for given profile.
|
public static final String PROP_CURRENT_FONT_COLOR_PROFILE
@Deprecated public static final String PROP_DEFAULT_FONT_COLORS
@Deprecated public static final String PROP_EDITOR_FONT_COLORS
public static final String PROP_MIME_TYPES
public static final String PROP_CURRENT_KEY_MAP_PROFILE
public static EditorSettings getDefault()
public abstract Set<String> getAllMimeTypes()
Editors/
folder.public abstract Set<String> getMimeTypes()
coloring.xml
defined in the default profile.public abstract String getLanguageName(String mimeType)
mimeType
- The mime type to translate.public abstract Set<String> getFontColorProfiles()
public abstract boolean isCustomFontColorProfile(String profile)
profile
- a profile namepublic abstract String getCurrentFontColorProfile()
public abstract void setCurrentFontColorProfile(String profile)
profile
- a profile name@Deprecated public abstract Collection<AttributeSet> getDefaultFontColors(String profile)
profile
- a profile name@Deprecated public abstract Collection<AttributeSet> getDefaultFontColorDefaults(String profile)
profile
- a profile name@Deprecated public abstract void setDefaultFontColors(String profile, Collection<AttributeSet> fontColors)
profile
- a profile namefontColors
- font & color defaults to be usedpublic abstract Map<String,AttributeSet> getHighlightings(String profile)
profile
- a profile namepublic abstract Map<String,AttributeSet> getHighlightingDefaults(String profile)
profile
- a profile namepublic abstract void setHighlightings(String profile, Map<String,AttributeSet> highlightings)
profile
- a profile namehighlightings
- a highlighting properties to be usedpublic abstract Map<String,AttributeSet> getAnnotations(String profile)
profile
- a profile namepublic abstract Map<String,AttributeSet> getAnnotationDefaults(String profile)
profile
- a profile namepublic abstract void setAnnotations(String profile, Map<String,AttributeSet> annotations)
profile
- a profile nameannotations
- a annotation properties to be usedpublic abstract FontColorSettingsFactory getFontColorSettings(String[] mimeTypes)
mimeTypes
- The mime path to get the settings for.public abstract KeyBindingSettingsFactory getKeyBindingSettings(String[] mimeTypes)
mimeTypes
- The mime path to get the settings for.public abstract Set<String> getKeyMapProfiles()
public abstract boolean isCustomKeymapProfile(String profile)
profile
- a profile namepublic abstract String getCurrentKeyMapProfile()
public abstract void setCurrentKeyMapProfile(String profile)
profile
- a profile namepublic abstract void addPropertyChangeListener(PropertyChangeListener l)
l
- a PropertyChangeListener to be registerredpublic abstract void removePropertyChangeListener(PropertyChangeListener l)
l
- a PropertyChangeListener to be unregisterredpublic abstract void addPropertyChangeListener(String propertyName, PropertyChangeListener l)
propertyName
- The name of the property to listen on.l
- a PropertyChangeListener to be registerredpublic abstract void removePropertyChangeListener(String propertyName, PropertyChangeListener l)
propertyName
- The name of the property to listen on.l
- a PropertyChangeListener to be unregisterred