| Class | Description |
|---|---|
| ExceptionFailureNotificationDialog | |
| GeneralFailureJTextPaneDisplay |
Displays a string in a
JOptionPane error message window. |
| GeneralInformationJTextPaneDisplay |
Displays a string in a
JOptionPane information
message window. |
| ProofClosedJTextPaneDisplay |
Displays a JOptionPane informing about a closed proof
and gives some statistics.
|
| ShowDisplayPane |
Actions which display a text should inherit from
this abstract notification action.
|