1 19 20 package org.netbeans.modules.editor.settings.storage.api; 21 22 import java.beans.PropertyChangeListener ; 23 import java.lang.ref.WeakReference ; 24 import java.util.Collection ; 25 import java.util.Map ; 26 import java.util.Set ; 27 import javax.swing.text.AttributeSet ; 28 import org.netbeans.modules.editor.settings.storage.EditorSettingsImpl; 29 30 31 37 public abstract class EditorSettings { 38 39 44 public static EditorSettings getDefault () { 45 return EditorSettingsImpl.getInstance(); 46 } 47 48 55 public abstract Set <String > getAllMimeTypes (); 56 57 63 public abstract Set <String > getMimeTypes (); 64 65 70 public abstract String getLanguageName (String mimeType); 71 72 73 75 76 public static final String PROP_CURRENT_FONT_COLOR_PROFILE = "currentFontColorProfile"; 77 78 85 public static final String PROP_DEFAULT_FONT_COLORS = "defaultFontColors"; 87 94 public static final String PROP_EDITOR_FONT_COLORS = EditorSettingsImpl.PROP_EDITOR_FONT_COLORS; 95 96 97 102 public abstract Set <String > getFontColorProfiles (); 103 104 110 public abstract boolean isCustomFontColorProfile (String profile); 111 112 117 public abstract String getCurrentFontColorProfile (); 118 119 124 public abstract void setCurrentFontColorProfile (String profile); 125 126 135 public abstract Collection <AttributeSet > getDefaultFontColors ( 136 String profile 137 ); 138 139 148 public abstract Collection <AttributeSet > getDefaultFontColorDefaults ( 149 String profile 150 ); 151 152 160 public abstract void setDefaultFontColors ( 161 String profile, 162 Collection <AttributeSet > fontColors 163 ); 164 165 172 public abstract Map <String , AttributeSet > getHighlightings ( 173 String profile 174 ); 175 176 183 public abstract Map <String , AttributeSet > getHighlightingDefaults ( 184 String profile 185 ); 186 187 193 public abstract void setHighlightings ( 194 String profile, 195 Map <String , AttributeSet > highlightings 196 ); 197 198 203 public abstract FontColorSettingsFactory getFontColorSettings (String [] mimeTypes); 204 205 206 208 209 public static final String PROP_CURRENT_KEY_MAP_PROFILE = "currentKeyMapProfile"; 210 211 212 217 public abstract KeyBindingSettingsFactory getKeyBindingSettings (String [] mimeTypes); 218 219 224 public abstract Set <String > getKeyMapProfiles (); 225 226 232 public abstract boolean isCustomKeymapProfile (String profile); 233 234 239 public abstract String getCurrentKeyMapProfile (); 240 241 246 public abstract void setCurrentKeyMapProfile (String profile); 247 248 253 public abstract void addPropertyChangeListener ( 254 PropertyChangeListener l 255 ); 256 257 262 public abstract void removePropertyChangeListener ( 263 PropertyChangeListener l 264 ); 265 266 272 public abstract void addPropertyChangeListener ( 273 String propertyName, 274 PropertyChangeListener l 275 ); 276 277 283 public abstract void removePropertyChangeListener ( 284 String propertyName, 285 PropertyChangeListener l 286 ); 287 } 288 | Popular Tags |