de.uka.ilkd.key.gui.actions

Class QuickSaveAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.KeyAction

de.uka.ilkd.key.gui.actions.MainWindowAction

de.uka.ilkd.key.gui.actions.QuickSaveAction

All Implemented Interfaces:

java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

public final class QuickSaveAction
extends MainWindowAction

Saves the current selected proof immediately to a temporaly location. This feature can be conveniently accessed with the F5 key.

Author:

bruns

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	QUICK_SAVE_PATH
private static long	serialVersionUID
private static java.io.File	TMP_DIR

Fields inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

mainWindow

Fields inherited from class de.uka.ilkd.key.gui.actions.KeyAction

SHORTCUT_KEY_MASK

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
QuickSaveAction(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)

Methods inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

getMediator

Methods inherited from class de.uka.ilkd.key.gui.actions.KeyAction

getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

TMP_DIR

private static final java.io.File TMP_DIR

QUICK_SAVE_PATH

public static final java.lang.String QUICK_SAVE_PATH

Constructor Detail

QuickSaveAction

public QuickSaveAction(MainWindow mainWindow)

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)