de.uka.ilkd.key.gui.actions

Class UnicodeToggleAction

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.UnicodeToggleAction

All Implemented Interfaces:

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

public class UnicodeToggleAction
extends MainWindowAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	NAME
static java.lang.String	TOOL_TIP
private SettingsListener	viewSettingsListener Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().

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, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
UnicodeToggleAction(MainWindow window)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
protected void	handleViewSettingsChanged(java.util.EventObject e)
protected void	updateMainWindow()
protected void	updateSelectedState()

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

NAME

public static final java.lang.String NAME

See Also:

Constant Field Values

TOOL_TIP

public static final java.lang.String TOOL_TIP

See Also:

Constant Field Values

viewSettingsListener

private final SettingsListener viewSettingsListener

Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().

Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.

Constructor Detail

UnicodeToggleAction

public UnicodeToggleAction(MainWindow window)

Method Detail

updateSelectedState

protected void updateSelectedState()

actionPerformed

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

updateMainWindow

protected void updateMainWindow()

handleViewSettingsChanged

protected void handleViewSettingsChanged(java.util.EventObject e)