public class SearchResultsHelp extends AuxFrameGUI
AuxFrameGUI.FrameShower
frame, frameColumns, frameFont, frameFontFamily, frameFontSize, frameRows, frameScrollPane, frameText, frameTextArea, frameTitle, proofAsstPreferences, wordWrap
Constructor and Description |
---|
SearchResultsHelp(ProofAsstPreferences proofAsstPreferences) |
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 SearchResultsHelp(ProofAsstPreferences proofAsstPreferences)