EditorMimeTypesImpl.java 文件源码

public EditorMimeTypesImpl() {
    this.es = EditorSettings.getDefault();
    this.listeners = new PropertyChangeSupport(this);
    this.listener = new PropertyChangeListener() {
        @Override
        public void propertyChange(@NonNull final PropertyChangeEvent evt) {
            if (evt.getPropertyName() == null || EditorSettings.PROP_MIME_TYPES.equals(evt.getPropertyName())) {
                listeners.firePropertyChange(PROP_SUPPORTED_MIME_TYPES, null, null);
            }
        }
    };
    this.es.addPropertyChangeListener(WeakListeners.propertyChange(listener, this.es));
}