public class EditSourceFileAction extends KeyAction
IssueDialog
to open the source file containing an error
for editing. In particular, the cursor is moved directly to the location of the issue.
For Java files, also syntax highlighting is supported (refreshes when nothing has been typed for
some milliseconds in the editor).CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
EditSourceFileAction(java.awt.Window parent,
java.lang.Throwable exception)
Instantiates a new edits the source file action.
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent arg0) |
getAcceleratorKey, getIcon, getMenuPath, getMnemonic, getName, getPriority, getSmallIcon, getTooltip, isSelected, lookupAcceleratorKey, lookupAcceleratorKey, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setMnemonic, setName, setPriority, setSelected, setSmallIcon, setTooltip
Copyright © 2003-2019 The KeY-Project.