public class RequestMessagesGUI extends AuxFrameGUI
AuxFrameGUI.FrameShower
frame, frameColumns, frameFont, frameFontFamily, frameFontSize, frameRows, frameScrollPane, frameText, frameTextArea, frameTitle, proofAsstPreferences, wordWrap
Constructor and Description |
---|
RequestMessagesGUI()
Default constructor.
|
RequestMessagesGUI(java.lang.String errorText)
Constructor with error text to display.
|
RequestMessagesGUI(java.lang.String errorText,
ProofAsstPreferences proofAsstPreferences)
Constructor with error text to display using ProofAsstPreferences
settings.
|
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Testing entry point for use with default settings.
|
buildFrame, changeFrameText, decreaseFontSize, dispose, getFrame, increaseFontSize, setCursorToStartOfMessageArea, setFrameFont, setFrameFontSize, setFrameText, setFrameTitle, setWrapStyleWord, showFrame
public RequestMessagesGUI()
public RequestMessagesGUI(java.lang.String errorText)
errorText
- String to display.public RequestMessagesGUI(java.lang.String errorText, ProofAsstPreferences proofAsstPreferences)
errorText
- String to display.proofAsstPreferences
- variable settings