public class ToggleSourceViewTooltipAction extends MainWindowAction
JComponent.getToolTipText()
,
Serialized FormModifier and Type | Field and Description |
---|---|
static java.lang.String |
NAME
This action's name.
|
static java.lang.String |
TOOL_TIP
This action's tooltip.
|
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
ToggleSourceViewTooltipAction(MainWindow mainWindow)
Create a new action.
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
protected void |
updateSelectedState()
Updates the state of this action according to
ViewSettings.isShowSourceViewTooltips() |
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 static final java.lang.String NAME
public static final java.lang.String TOOL_TIP
public ToggleSourceViewTooltipAction(MainWindow mainWindow)
mainWindow
- the main window.protected void updateSelectedState()
ViewSettings.isShowSourceViewTooltips()
public void actionPerformed(java.awt.event.ActionEvent e)
Copyright © 2003-2019 The KeY-Project.