public final class EditMostRecentFileAction extends MainWindowAction
Modifier and Type | Class and Description |
---|---|
static class |
EditMostRecentFileAction.EditFileActionHandler
The method
EditMostRecentFileAction.EditFileActionHandler.workWithFile(File) of the default instance
EditMostRecentFileAction.EditFileActionHandler.getInstance() is used by EditMostRecentFileAction
to edit the last opened file or to open the last used directory. |
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
EditMostRecentFileAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
getMediator, setAcceleratorKey, setAcceleratorLetter
getAcceleratorKey, getIcon, getMenuPath, getMnemonic, getName, getPriority, getSmallIcon, getTooltip, isSelected, lookupAcceleratorKey, lookupAcceleratorKey, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setMnemonic, setName, setPriority, setSelected, setSmallIcon, setTooltip
public EditMostRecentFileAction(MainWindow mainWindow)
Copyright © 2003-2019 The KeY-Project.