Examples with EditorSettingsChangedEvent org.eclipse.che.ide.api.event.EditorSettingsChangedEvent used on opensource projects

Example 1 with EditorSettingsChangedEvent

use of org.eclipse.che.ide.api.event.EditorSettingsChangedEvent in project che by eclipse.

the class EditorPropertiesSectionPresenter method storeChanges.

@Override
public void storeChanges() {
    Map<String, JSONValue> editorProperties = editorPropertiesManager.getEditorProperties();
    for (String property : editorProperties.keySet()) {
        JSONValue actualValue = view.getPropertyValueById(property);
        actualValue = actualValue != null ? actualValue : editorProperties.get(property);
        editorProperties.put(property, actualValue);
    }
    editorPropertiesManager.storeEditorProperties(editorProperties);
    eventBus.fireEvent(new EditorSettingsChangedEvent());
}