public class HelpGeneralInfoGUI extends AuxFrameGUI
The information displayed is hardcoded into mmj.pa.PaConstants.java.
AuxFrameGUI.FrameShower
frame, frameColumns, frameFont, frameFontFamily, frameFontSize, frameRows, frameScrollPane, frameText, frameTextArea, frameTitle, proofAsstPreferences, wordWrap
Constructor and Description |
---|
HelpGeneralInfoGUI()
Default constructor.
|
HelpGeneralInfoGUI(ProofAsstPreferences proofAsstPreferences)
Constructor using ProofAsstPreferences settings.
|
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
buildFrame, changeFrameText, decreaseFontSize, dispose, getFrame, increaseFontSize, setCursorToStartOfMessageArea, setFrameFont, setFrameFontSize, setFrameText, setFrameTitle, setWrapStyleWord, showFrame
public HelpGeneralInfoGUI()
public HelpGeneralInfoGUI(ProofAsstPreferences proofAsstPreferences)
proofAsstPreferences
- variable settings