public class QuickLoadAction extends MainWindowAction
QuickSaveAction
.
Use the F6 key to access this feature.mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
QuickLoadAction(MainWindow mainWindow)
Create a new action.
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
static void |
quickLoad(MainWindow mainWindow)
Load the file saved at the location described by
QuickSaveAction.quickSave(MainWindow) . |
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 QuickLoadAction(MainWindow mainWindow)
mainWindow
- the main window.public static void quickLoad(MainWindow mainWindow)
QuickSaveAction.quickSave(MainWindow)
.mainWindow
- the main window.public void actionPerformed(java.awt.event.ActionEvent e)
Copyright © 2003-2019 The KeY-Project.