public class ProofClosedJTextPaneDisplay extends ShowDisplayPane
parentComponent
Constructor and Description |
---|
ProofClosedJTextPaneDisplay(java.awt.Frame parentComponent) |
Modifier and Type | Method and Description |
---|---|
boolean |
execute(NotificationEvent pcne)
Displays a JOptionPane informing the user about a closed proof.
|
getMessage, setMessage
public ProofClosedJTextPaneDisplay(java.awt.Frame parentComponent)
public boolean execute(NotificationEvent pcne)
pcne
- the NotificationEvent triggering this action