Trace_KeymapChanges.java

package jetbrains.mps.ide.devkit.actions;

/*Generated by MPS */

import jetbrains.mps.plugins.actions.BaseKeymapChanges;
import com.intellij.openapi.actionSystem.Shortcut;
import com.intellij.openapi.actionSystem.KeyboardShortcut;
import javax.swing.KeyStroke;

public class Trace_KeymapChanges extends BaseKeymapChanges {
  public Trace_KeymapChanges() {
    // simple 
    addSimpleShortcut("jetbrains.mps.ide.devkit.actions.ShowTypeSystemTrace_Action", getShortcut("ctrl shift X"));
    // simple parameterized 
    // complex 
  }
  public String getScheme() {
    return "$default";
  }
  public static Shortcut getShortcut(String stroke) {
    return new KeyboardShortcut(KeyStroke.getKeyStroke(stroke), null);
  }
}