de.uka.ilkd.key.gui.actions

Class FontSizeAction

java.lang.Object

javax.swing.AbstractAction

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

de.uka.ilkd.key.gui.actions.FontSizeAction

All Implemented Interfaces:

ConfigChangeListener, ActionListener, Serializable, Cloneable, EventListener, Action

public class FontSizeAction
extends MainWindowAction
implements ConfigChangeListener

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FontSizeAction.Mode

Field Summary

Fields

Modifier and Type	Field and Description
private FontSizeAction.Mode	mode
private static long	serialVersionUID

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

mainWindow, 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
FontSizeAction(MainWindow mainWindow, FontSizeAction.Mode mode)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)
void	configChanged(ConfigChangeEvent e) focused node has changed
private static int	getDownMask() determine the key mask to use.

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

getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, 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

mode

private FontSizeAction.Mode mode

Constructor Detail

FontSizeAction

public FontSizeAction(MainWindow mainWindow,
                      FontSizeAction.Mode mode)

Method Detail

actionPerformed

public void actionPerformed(ActionEvent e)

Specified by:

actionPerformed in interface ActionListener

configChanged

public void configChanged(ConfigChangeEvent e)

Description copied from interface: ConfigChangeListener

focused node has changed

Specified by:

configChanged in interface ConfigChangeListener

getDownMask

private static int getDownMask()

determine the key mask to use. (Probably this was a bug at a time)