public class MacroKeyBinding
extends javax.swing.AbstractAction
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) |
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)
Copyright © 2003-2019 The KeY-Project.