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