public class MacroKeyBinding extends AbstractAction
Modifier and Type | Field and Description |
---|---|
private ProofMacro |
macro |
private KeYMediator |
mediator |
private SequentView |
sequentView |
changeSupport, enabled
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
MacroKeyBinding(KeYMediator mediator,
SequentView sequentView,
ProofMacro macro) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
static void |
registerMacroKeyBindings(KeYMediator mediator,
SequentView sequentView,
JComponent comp) |
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private final SequentView sequentView
private final KeYMediator mediator
private final ProofMacro macro
public MacroKeyBinding(KeYMediator mediator, SequentView sequentView, ProofMacro macro)
public void actionPerformed(ActionEvent e)
public static void registerMacroKeyBindings(KeYMediator mediator, SequentView sequentView, JComponent comp)