public static class ProofDiffFrame.Action extends MainWindowAction
MainWindow
.Modifier and Type | Field and Description |
---|---|
private MainWindow |
mainWindow |
private static long |
serialVersionUID |
SHORTCUT_KEY_MASK
Constructor and Description |
---|
Action(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final long serialVersionUID
private final MainWindow mainWindow
public Action(MainWindow mainWindow)