Package | Description |
---|---|
de.uka.ilkd.key.gui.notification.actions |
Modifier and Type | Class and Description |
---|---|
class |
ExceptionFailureNotificationDialog |
class |
GeneralFailureJTextPaneDisplay
Displays a string in a
JOptionPane error message window. |
class |
GeneralInformationJTextPaneDisplay
Displays a string in a
JOptionPane information
message window. |
class |
ProofClosedJTextPaneDisplay
Displays a JOptionPane informing about a closed proof
and gives some statistics.
|
Copyright © 2003-2019 The KeY-Project.