public class KeYProjectHomepageAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
private static String |
url |
mainWindow, SHORTCUT_KEY_MASK
changeSupport, enabled
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 and Description |
---|
KeYProjectHomepageAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
private static boolean |
desktopEnabled() |
private static URI |
getURI() |
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
private static final String url
public KeYProjectHomepageAction(MainWindow mainWindow)
private static boolean desktopEnabled()
private static URI getURI()
public void actionPerformed(ActionEvent e)