public class IncreaseFontSizeAction extends MainWindowAction implements ConfigChangeListener
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
IncreaseFontSizeAction(MainWindow mainWindow)
creates the action to increase the font size of the sequent and proof view
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
void |
configChanged(ConfigChangeEvent e)
focused node has changed
|
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 IncreaseFontSizeAction(MainWindow mainWindow)
mainWindow
- the main windowpublic void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
public void configChanged(ConfigChangeEvent e)
ConfigChangeListener
configChanged
in interface ConfigChangeListener
Copyright © 2003-2019 The KeY-Project.