public class AuxFrameGUI
extends java.lang.Object
To use it, just build one with the default constructor, then override variables, such as frameText or frameTitle using the "setter" methods. Then buildFrame() and showFrame() -- see main(), as an example.
Modifier and Type | Class and Description |
---|---|
protected static class |
AuxFrameGUI.FrameShower
Inner class used to display the Frame later on the event queue thread.
|
Modifier and Type | Field and Description |
---|---|
protected javax.swing.JFrame |
frame |
protected int |
frameColumns |
protected java.awt.Font |
frameFont |
protected java.lang.String |
frameFontFamily |
protected int |
frameFontSize |
protected int |
frameRows |
protected javax.swing.JScrollPane |
frameScrollPane |
protected java.lang.String |
frameText |
protected javax.swing.JTextArea |
frameTextArea |
protected java.lang.String |
frameTitle |
protected ProofAsstPreferences |
proofAsstPreferences |
protected boolean |
wordWrap |
Constructor and Description |
---|
AuxFrameGUI()
Default constructor.
|
AuxFrameGUI(ProofAsstPreferences proofAsstPreferences)
The standard constructor.
|
Modifier and Type | Method and Description |
---|---|
javax.swing.JFrame |
buildFrame()
Builds the JFrame with default settings.
|
void |
changeFrameText(java.lang.String frameText)
Modifies the text already displayed in the frame.
|
void |
decreaseFontSize() |
void |
dispose()
Make the frame disappear and go away.
|
javax.swing.JFrame |
getFrame()
Get the Frame.
|
void |
increaseFontSize() |
static void |
main(java.lang.String[] args)
main entry point for testing using defaults.
|
void |
setCursorToStartOfMessageArea()
Positions the input caret to start of message text area and scrolls
viewport to ensure that the start of the message text area is visible.
|
void |
setFrameFont(java.awt.Font font) |
void |
setFrameFontSize(int i) |
void |
setFrameText(java.lang.String frameText)
Set the text to be displayed in the frame when the frame is displayed.
|
void |
setFrameTitle(java.lang.String frameTitle)
Set the title of the frame to be displayed.
|
void |
setWrapStyleWord(boolean wordWrap)
Set word wrap on or off.
|
void |
showFrame(javax.swing.JFrame jFrame)
Show the frame later on the event queue thread.
|
protected ProofAsstPreferences proofAsstPreferences
protected javax.swing.JFrame frame
protected javax.swing.JTextArea frameTextArea
protected javax.swing.JScrollPane frameScrollPane
protected java.lang.String frameTitle
protected java.lang.String frameText
protected int frameRows
protected int frameColumns
protected java.lang.String frameFontFamily
protected java.awt.Font frameFont
protected boolean wordWrap
protected int frameFontSize
public AuxFrameGUI()
public AuxFrameGUI(ProofAsstPreferences proofAsstPreferences)
proofAsstPreferences
- variable settingspublic void setFrameFont(java.awt.Font font)
public void setFrameFontSize(int i)
public void increaseFontSize()
public void decreaseFontSize()
public void dispose()
public void setWrapStyleWord(boolean wordWrap)
wordWrap
- true or false.public void setFrameTitle(java.lang.String frameTitle)
Setting the title does not update what is already displayed (though we could modify this routine to make that happen, if desired.)
frameTitle
- String title to show.public void changeFrameText(java.lang.String frameText)
Setting the text updates the JTextArea text value after invoking setFrameText(frameText);
frameText
- String text area to show.public void setFrameText(java.lang.String frameText)
A Java Swing "JTextArea" is used to hold the text.
Setting the text does not update what is already displayed (though we could modify this routine to make that happen, if desired.)
frameText
- String text area to show.public void setCursorToStartOfMessageArea()
This is called only after updates to an existing AuxFrameGUI screen. It is automatically invoked during the initial display sequence of events..
public javax.swing.JFrame getFrame()
public javax.swing.JFrame buildFrame()
public void showFrame(javax.swing.JFrame jFrame)
We construct the thing and establish it to be displayed on the event queue thread using "EventQueue.invokeLater()".
jFrame
- is the Frame to be displayedpublic static void main(java.lang.String[] args)
args
- Command line argument String array (not used).