public class KeYProjectHomepageAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
private static java.lang.String |
url |
mainWindow
SHORTCUT_KEY_MASK
Constructor and Description |
---|
KeYProjectHomepageAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
private static boolean |
desktopEnabled() |
private static java.net.URI |
getURI() |
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final long serialVersionUID
private static final java.lang.String url
public KeYProjectHomepageAction(MainWindow mainWindow)