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.
|