Terribly minor cleanup.
This commit is contained in:
parent
7adfddfb43
commit
22141248e7
1 changed files with 17 additions and 0 deletions
|
@ -100,12 +100,27 @@ public class Jskad extends JPanel implements DocumentListener {
|
||||||
/** the status bar for this frame */
|
/** the status bar for this frame */
|
||||||
private StatusBar statusBar;
|
private StatusBar statusBar;
|
||||||
|
|
||||||
|
/** Do not use this JPanel constructor. */
|
||||||
|
private Jskad() { super(); }
|
||||||
|
|
||||||
|
/** Do not use this JPanel constructor. */
|
||||||
|
private Jskad(boolean isDB) { super(isDB); }
|
||||||
|
|
||||||
|
/** Do not use this JPanel constructor. */
|
||||||
|
private Jskad(LayoutManager lm) { super(lm); }
|
||||||
|
|
||||||
|
/** Do not use this JPanel constructor. */
|
||||||
|
private Jskad(LayoutManager lm, boolean isDB) { super(lm, isDB); }
|
||||||
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @param parent the object that embeds this instance of Jskad.
|
* @param parent the object that embeds this instance of Jskad.
|
||||||
* Supported objects include JFrames and JApplets. If the parent
|
* Supported objects include JFrames and JApplets. If the parent
|
||||||
* is a JApplet then the File menu is omitted from the menu bar.
|
* is a JApplet then the File menu is omitted from the menu bar.
|
||||||
*/
|
*/
|
||||||
public Jskad(final Object parent) {
|
public Jskad(final Object parent) {
|
||||||
|
super();
|
||||||
|
|
||||||
if (ThdlOptions.getBooleanOption("thdl.Jskad.disable.status.bar")) {
|
if (ThdlOptions.getBooleanOption("thdl.Jskad.disable.status.bar")) {
|
||||||
statusBar = null;
|
statusBar = null;
|
||||||
} else {
|
} else {
|
||||||
|
@ -753,6 +768,8 @@ public class Jskad extends JPanel implements DocumentListener {
|
||||||
try {
|
try {
|
||||||
BufferedReader in = new BufferedReader(new FileReader(txt_fileChosen));
|
BufferedReader in = new BufferedReader(new FileReader(txt_fileChosen));
|
||||||
DuffPane dp2;
|
DuffPane dp2;
|
||||||
|
// FIXME: why do we need a whole DuffPane to do this? we
|
||||||
|
// definitely don't need a status bar...
|
||||||
if (ThdlOptions.getBooleanOption(Jskad.enableKeypressStatusProp)) {
|
if (ThdlOptions.getBooleanOption(Jskad.enableKeypressStatusProp)) {
|
||||||
dp2 = new DuffPane(statusBar);
|
dp2 = new DuffPane(statusBar);
|
||||||
} else {
|
} else {
|
||||||
|
|
Loading…
Reference in a new issue