public class MacroKeyBinding
extends javax.swing.AbstractAction
Modifier and Type | Field and Description |
---|---|
private ProofMacro |
macro |
private KeYMediator |
mediator |
private SequentView |
sequentView |
Constructor and Description |
---|
MacroKeyBinding(KeYMediator mediator,
SequentView sequentView,
ProofMacro macro) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
static void |
registerMacroKeyBindings(KeYMediator mediator,
SequentView sequentView,
javax.swing.JComponent comp) |
private final SequentView sequentView
private final KeYMediator mediator
private final ProofMacro macro
public MacroKeyBinding(KeYMediator mediator, SequentView sequentView, ProofMacro macro)
public void actionPerformed(java.awt.event.ActionEvent e)
public static void registerMacroKeyBindings(KeYMediator mediator, SequentView sequentView, javax.swing.JComponent comp)