/*******************************************************************************
* Copyright (c) 2012-2017 Codenvy, S.A.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Codenvy, S.A. - initial API and implementation
*******************************************************************************/
package org.eclipse.che.ide.editor.preferences.keymaps;
import com.google.gwt.json.client.JSONString;
import com.google.gwt.user.client.ui.AcceptsOneWidget;
import com.google.inject.Inject;
import com.google.web.bindery.event.shared.EventBus;
import org.eclipse.che.ide.api.preferences.PreferencesManager;
import org.eclipse.che.ide.api.editor.keymap.Keymap;
import org.eclipse.che.ide.api.editor.keymap.KeymapChangeEvent;
import org.eclipse.che.ide.editor.preferences.EditorPreferenceSection;
/** Presenter for the keymap preference selection section. */
public class KeyMapsPreferencePresenter implements EditorPreferenceSection, KeymapsPreferenceView.ActionDelegate {
/** The editor preference main property name. */
public static final String KEYMAP_PREF_KEY = "keymap";
private final KeymapsPreferenceView view;
private final EventBus eventBus;
private final PreferencesManager preferencesManager;
/** Has any of the keymap preferences been changed ? */
private boolean dirty = false;
/** The preference page presenter. */
private ParentPresenter parentPresenter;
private Keymap selectedKeymap;
@Inject
public KeyMapsPreferencePresenter(final KeymapsPreferenceView view,
final EventBus eventBus,
final PreferencesManager preferencesManager) {
this.view = view;
this.eventBus = eventBus;
this.preferencesManager = preferencesManager;
this.view.setDelegate(this);
}
@Override
public void storeChanges() {
JSONString jsonString = new JSONString(selectedKeymap.getKey());
preferencesManager.setValue(KEYMAP_PREF_KEY, jsonString.stringValue());
eventBus.fireEvent(new KeymapChangeEvent(selectedKeymap.getKey()));
dirty = false;
}
@Override
public void refresh() {
readPreference();
}
protected void readPreference() {
final String keymapKey = preferencesManager.getValue(KEYMAP_PREF_KEY);
Keymap keymap = null;
if (keymapKey != null) {
keymap = Keymap.fromKey(keymapKey);
} else {
for (Keymap km : Keymap.getInstances()) {
if (km.getKey().contains("default")) {
keymap = km;
break;
}
}
}
view.setKeyBindings(Keymap.getInstances(), keymap);
}
@Override
public boolean isDirty() {
return dirty;
}
@Override
public void go(final AcceptsOneWidget container) {
readPreference();
container.setWidget(view);
}
@Override
public void setParent(final ParentPresenter parent) {
this.parentPresenter = parent;
}
@Override
public void onKeyBindingSelected(Keymap keymap) {
selectedKeymap = keymap;
dirty = true;
parentPresenter.signalDirtyState();
}
}