public Viewer() {
leveldbStore.setMultiSelectionEnabled(false);
leveldbStore.setFileSelectionMode(JFileChooser.DIRECTORIES_ONLY);
putButton.setEnabled(false);
key.setEnabled(false);
value.setEnabled(false);
findField.setEnabled(false);
deleteButton.setEnabled(false);
saveButton.setEnabled(false);
putType.setEnabled(false);
putType.setEditable(false);
signedBox.setEnabled(false);
openButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
if (openButton.isEnabled()) {
openButton.setEnabled(false);
new Thread() {
public void run() {
if (leveldbStore.showOpenDialog(pane) == JFileChooser.APPROVE_OPTION) {
File select = leveldbStore.getSelectedFile();
if (select.isDirectory()) {
new OpenLevelDBDialog(Viewer.this, select);
openDatabase(select);
dbPathField.setText(select.getAbsolutePath());
} else {
JOptionPane.showMessageDialog(
pane,
"The selecting item must be a directory",
"Unable to load database",
JOptionPane.WARNING_MESSAGE);
}
} else {
openButton.setEnabled(true);
}
}
}.start();
}
}
});
deleteButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
if (dataList.getSelectedValue() != null) {
delete(dataList.getSelectedValue().key);
}
openDatabase(leveldbStore.getSelectedFile());
}
});
putButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
put(
((PutType) putType.getSelectedItem()).getBytes(key.getText()),
((PutType) putType.getSelectedItem()).getBytes(value.getText()));
openDatabase(leveldbStore.getSelectedFile());
}
});
findField.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
});
findField
.getDocument()
.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
@Override
public void removeUpdate(DocumentEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
@Override
public void changedUpdate(DocumentEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
});
findField
.getDocument()
.addUndoableEditListener(
new UndoableEditListener() {
@Override
public void undoableEditHappened(UndoableEditEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
});
hexKey
.getDocument()
.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
update(hexKey);
}
@Override
public void removeUpdate(DocumentEvent e) {
update(hexKey);
}
@Override
public void changedUpdate(DocumentEvent e) {
update(hexKey);
}
});
hexKey
.getDocument()
.addUndoableEditListener(
new UndoableEditListener() {
@Override
public void undoableEditHappened(UndoableEditEvent e) {
update(hexKey);
}
});
stringKey
.getDocument()
.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
update(stringKey);
}
@Override
public void removeUpdate(DocumentEvent e) {
update(stringKey);
}
@Override
public void changedUpdate(DocumentEvent e) {
update(stringKey);
}
});
stringKey
.getDocument()
.addUndoableEditListener(
new UndoableEditListener() {
@Override
public void undoableEditHappened(UndoableEditEvent e) {
update(stringKey);
}
});
hexValue
.getDocument()
.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
update(hexValue);
}
@Override
public void removeUpdate(DocumentEvent e) {
update(hexValue);
}
@Override
public void changedUpdate(DocumentEvent e) {
update(hexValue);
}
});
hexValue
.getDocument()
.addUndoableEditListener(
new UndoableEditListener() {
@Override
public void undoableEditHappened(UndoableEditEvent e) {
update(hexValue);
}
});
stringValue
.getDocument()
.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
update(stringValue);
}
@Override
public void removeUpdate(DocumentEvent e) {
update(stringValue);
}
@Override
public void changedUpdate(DocumentEvent e) {
update(stringValue);
}
});
stringValue
.getDocument()
.addUndoableEditListener(
new UndoableEditListener() {
@Override
public void undoableEditHappened(UndoableEditEvent e) {
update(stringValue);
}
});
saveButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
save();
openDatabase(leveldbStore.getSelectedFile());
}
});
dataList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
dataList.addListSelectionListener(
new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
DBItem item = dataList.getSelectedValue();
if (item != null) {
hexValue.setText(cutToLine(LevelDBViewer.toHexString(item.value), 64));
stringValue.setText(cutToLine(new String(item.value), 64));
hexKey.setText(cutToLine(LevelDBViewer.toHexString(item.key), 64));
stringKey.setText(cutToLine(new String(item.key), 64));
lengthLabel.setText(String.valueOf(item.value.length + item.key.length));
keyLength.setText(String.valueOf(item.key.length));
valueLength.setText(String.valueOf(item.value.length));
}
}
});
signedBox.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
LevelDBViewer.DEFAULT_SINGED = signedBox.isSelected();
int i = dataList.getSelectedIndex();
dataList.clearSelection();
dataList.updateUI();
dataList.setSelectedIndex(i);
update(hexKey);
update(hexValue);
}
});
for (PutType t : PutType.values()) {
putType.addItem(t);
}
putType.setSelectedItem(PutType.STRING);
putType.addItemListener(
new ItemListener() {
@Override
public void itemStateChanged(ItemEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
});
putType.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
openDatabase(leveldbStore.getSelectedFile());
}
});
dialog.setLocationByPlatform(true);
dialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
dialog.setContentPane(pane);
dialog.setTitle("LevelDB Viewer By Marcus (https://github.com/SuperMarcus)");
dialog.getRootPane().setDefaultButton(openButton);
dialog.pack();
dialog.setVisible(true);
}
EditFrame(RopeFrame parent) {
super(parent);
// Implement a smarter way to set the initial frame position and size
setLocation(0, 0);
setSize(670, 705);
try {
jbInit();
} catch (Exception ex) {
ex.printStackTrace();
}
sourceArea.addCaretListener(this);
browseButton.addActionListener(this);
optionsButton.addActionListener(this);
assembleButton.addActionListener(this);
saveButton.addActionListener(this);
messageList.addMouseListener(
new MouseAdapter() {
@Override
public void mouseClicked(MouseEvent event) {
highlightError(messageList.locationToIndex(event.getPoint()));
}
});
undoMgr = new CompoundUndoManager(sourceArea);
undoAction = undoMgr.getUndoAction();
redoAction = undoMgr.getRedoAction();
undoMgr.updateUndoAction = new UpdateUndoAction();
undoMgr.updateRedoAction = new UpdateRedoAction();
document = sourceArea.getDocument();
ActionMap am = sourceArea.getActionMap();
InputMap im = sourceArea.getInputMap(JComponent.WHEN_FOCUSED);
// Remove automatic key bindings because we want them controlled by menu items
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_Z, RopeHelper.modifierMaks), "none");
im.put(
KeyStroke.getKeyStroke(KeyEvent.VK_Z, RopeHelper.modifierMaks + InputEvent.SHIFT_MASK),
"none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_X, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_C, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_V, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_A, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_L, RopeHelper.modifierMaks), "none");
// Set custom binding action for tab key
String action = "tabKeyAction";
im.put(KeyStroke.getKeyStroke("TAB"), action);
am.put(
action,
new AbstractAction() {
private static final long serialVersionUID = 1L;
@Override
public void actionPerformed(ActionEvent e) {
try {
int caretPos = sourceArea.getCaretPosition();
int lineNum = sourceArea.getLineOfOffset(caretPos);
int startLine = sourceArea.getLineStartOffset(lineNum);
int endLine = sourceArea.getLineEndOffset(lineNum);
int linePos = caretPos - startLine;
if (linePos >= 39 && linePos < 79) {
caretPos = startLine + linePos + 10 - ((linePos + 1) % 10);
} else if (linePos >= 20 && linePos <= 39) {
caretPos = startLine + 39;
} else if (linePos >= 15 && linePos <= 19) {
caretPos = startLine + 20;
} else if (linePos >= 5 && linePos <= 14) {
caretPos = startLine + 15;
} else {
caretPos = startLine + 5;
}
// If the line is shorter than the new position fo the caret add enough spaces...
if (caretPos > endLine) {
StringBuilder str = new StringBuilder();
int size = caretPos - endLine;
while (size-- >= 0) {
str.append(' ');
}
document.insertString(endLine - 1, str.toString(), null);
}
sourceArea.setCaretPosition(caretPos);
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
});
// Set custom binding action for return/enter key
String actionKey = "backspaceKeyAction";
im.put(KeyStroke.getKeyStroke("BACK_SPACE"), actionKey);
am.put(
actionKey,
new AbstractAction()
// How can I get the original action?
{
private static final long serialVersionUID = 1L;
@Override
public void actionPerformed(ActionEvent e) {
try {
int caretPos = sourceArea.getCaretPosition();
int lineNum = sourceArea.getLineOfOffset(caretPos);
int startLine = sourceArea.getLineStartOffset(lineNum);
int endLine = sourceArea.getLineEndOffset(lineNum);
int linePos = caretPos - startLine;
if (linePos == 15) {
int endPos = 5;
int charPos = linePos;
for (; charPos > endPos; charPos--) {
char ch = sourceArea.getText().charAt((startLine + charPos) - 1);
if (!Character.isWhitespace(ch)) {
break;
}
}
sourceArea.setCaretPosition(startLine + charPos);
} else {
int startSel = sourceArea.getSelectionStart();
int endSel = sourceArea.getSelectionEnd();
if (startSel == endSel) {
startSel = caretPos - 1;
endSel = caretPos;
}
StringBuilder sb = new StringBuilder(sourceArea.getText());
sb.replace(startSel, endSel, "");
sourceArea.setText(sb.toString());
sourceArea.setCaretPosition(startSel);
}
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
});
// Set custom binding action for return/enter key
action = "enterKeyAction";
im.put(KeyStroke.getKeyStroke("ENTER"), action);
am.put(
action,
new AbstractAction() {
private static final long serialVersionUID = 1L;
@Override
public void actionPerformed(ActionEvent e) {
try {
int caretPos = sourceArea.getCaretPosition();
int lineNum = sourceArea.getLineOfOffset(caretPos);
int startLine = sourceArea.getLineStartOffset(lineNum);
int linePos = caretPos - startLine;
if (linePos >= 5) {
document.insertString(caretPos, "\n ", null);
} else {
document.insertString(caretPos, "\n", null);
}
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
});
document.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
setSourceChanged(true);
}
@Override
public void removeUpdate(DocumentEvent e) {
setSourceChanged(true);
}
@Override
public void changedUpdate(DocumentEvent e) {
setSourceChanged(true);
}
});
}
public ContextEditor(Context cntxt) {
super("Edit User Context: " + localFileName(cntxt));
ctxt = cntxt;
windowNum = ctxt.languageName + " Context Editor";
setDefaultCloseOperation(DISPOSE_ON_CLOSE);
listener = new CEListener(this);
JPanel nameBox = new JPanel();
nameBox.setLayout(new BoxLayout(nameBox, BoxLayout.LINE_AXIS));
name = new JTextField(ctxt.languageName, 28);
name.setMaximumSize(new Dimension(225, 22));
name.addFocusListener(
new java.awt.event.FocusAdapter() {
public void focusLost(java.awt.event.FocusEvent evt) {
nameFocusLost(evt);
}
});
JLabel nameLabel = new JLabel("Language Name: ");
nameBox.add(nameLabel);
nameBox.add(name);
JPanel folderBox = new JPanel();
folderBox.setLayout(new BoxLayout(folderBox, BoxLayout.LINE_AXIS));
folder = new JTextField(ctxt.editDirectory);
folder.setMaximumSize(new Dimension(225, 22));
// folder.addActionListener(listener);
// folder.setActionCommand("folder edit");
folder.addFocusListener(
new java.awt.event.FocusAdapter() {
public void focusLost(java.awt.event.FocusEvent evt) {
folderFocusLost(evt);
}
});
JLabel folderLabel = new JLabel("SILK file folder: ");
folderBox.add(folderLabel);
folderBox.add(folder);
JPanel nameFolderBox = new JPanel();
nameFolderBox.setLayout(new BoxLayout(nameFolderBox, BoxLayout.PAGE_AXIS));
nameBox.setAlignmentX(0.5f);
nameFolderBox.add(nameBox);
nameFolderBox.add(Box.createRigidArea(new Dimension(0, 4)));
nameFolderBox.add(folderBox);
nameFolderBox.setAlignmentX(0.5f);
buildPopulationBox();
JPanel btnBoxUDPs = new JPanel(), subBoxUDP = new JPanel();
btnBoxUDPs.setLayout(new BoxLayout(btnBoxUDPs, BoxLayout.PAGE_AXIS));
subBoxUDP.setLayout(new BoxLayout(subBoxUDP, BoxLayout.LINE_AXIS));
int numUDPs = 0;
if (ctxt.userDefinedProperties != null) {
numUDPs = ctxt.userDefinedProperties.size();
}
String plur = "ies";
if (numUDPs == 1) {
plur = "y";
}
JLabel udpLabel = new JLabel("Has " + numUDPs + " User-Defined Propert" + plur);
subBoxUDP.add(udpLabel);
JButton addUDP = new JButton("Add UDP");
addUDP.setActionCommand("add UDP");
addUDP.addActionListener(listener);
subBoxUDP.add(addUDP);
btnBoxUDPs.add(subBoxUDP);
if (numUDPs > 0) {
Dimension sizer = new Dimension(250, 50);
String[] udpMenu = genUDPMenu();
UDPick = new JComboBox(udpMenu);
UDPick.addActionListener(listener);
UDPick.setActionCommand("view/edit UDP");
UDPick.setMinimumSize(sizer);
UDPick.setMaximumSize(sizer);
UDPick.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "View/Edit UDPs"));
btnBoxUDPs.add(UDPick);
} // end of if-any-UDPs-exist
JPanel domThs = new JPanel();
domThs.setLayout(new BoxLayout(domThs, BoxLayout.PAGE_AXIS));
domThs.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "Kinship System Domain Theories"));
domThs.setAlignmentX(0.5f);
JPanel dtRefBtnBox = new JPanel();
dtRefBtnBox.setLayout(new BoxLayout(dtRefBtnBox, BoxLayout.LINE_AXIS));
dtRefBtnBox.setAlignmentX(0.0f);
JLabel dtRefLabel = new JLabel("Terms of Reference ");
dtRefBtnBox.add(dtRefLabel);
if (ctxt.domTheoryRefExists()) {
JButton dtRefEdit = new JButton("Edit Theory");
dtRefEdit.setActionCommand("edit dtRef");
dtRefEdit.addActionListener(listener);
dtRefBtnBox.add(dtRefEdit);
// JButton dtRefDelete = new JButton("Delete Theory");
// dtRefDelete.setActionCommand("dtRef delete");
// dtRefDelete.addActionListener(listener);
// dtRefBtnBox.add(dtRefDelete);
} // end of if-dt-exists
else { // if does not exist
JLabel dtRefNone = new JLabel("< None >");
dtRefBtnBox.add(dtRefNone);
// JButton dtRefAdd = new JButton("Add Theory");
// dtRefAdd.setActionCommand("dtRef add");
// dtRefAdd.addActionListener(listener);
// dtRefBtnBox.add(dtRefAdd);
} // end of does-not-exist
domThs.add(dtRefBtnBox);
JPanel dtAddrBtnBox = new JPanel();
dtAddrBtnBox.setLayout(new BoxLayout(dtAddrBtnBox, BoxLayout.LINE_AXIS));
dtAddrBtnBox.setAlignmentX(0.0f);
JLabel dtAddrLabel = new JLabel("Terms of Address ");
dtAddrBtnBox.add(dtAddrLabel);
if (ctxt.domTheoryAdrExists()) {
JButton dtAddrEdit = new JButton("Edit Theory");
dtAddrEdit.setActionCommand("edit dtAddr");
dtAddrEdit.addActionListener(listener);
dtAddrBtnBox.add(dtAddrEdit);
// JButton dtAddrViewList = new JButton("Delete Theory");
// dtAddrViewList.setActionCommand("dtAddr delete");
// dtAddrViewList.addActionListener(listener);
// dtAddrBtnBox.add(dtAddrViewList);
} // end of if-dt-exists
else { // if does not exist
JLabel dtAddrNone = new JLabel("< None >");
dtAddrBtnBox.add(dtAddrNone);
// JButton dtAddrAdd = new JButton("Add Theory");
// dtAddrAdd.setActionCommand("dtAddr add");
// dtAddrAdd.addActionListener(listener);
// dtAddrBtnBox.add(dtAddrAdd);
} // end of does-not-exist
domThs.add(dtAddrBtnBox);
// End of the left hand portion
// Right hand portion follows. it is narrower.
JPanel polyBox = new JPanel();
polyBox.setLayout(new BoxLayout(polyBox, BoxLayout.PAGE_AXIS));
polyBox.setAlignmentX(0.5f);
JLabel polyLabelA = new JLabel("Polygamy");
JLabel polyLabelB = new JLabel("Permitted?");
JRadioButton yesPoly = new JRadioButton("Yes");
yesPoly.setActionCommand("polygamy yes");
yesPoly.addActionListener(listener);
JRadioButton noPoly = new JRadioButton("No");
noPoly.setActionCommand("polygamy no");
noPoly.addActionListener(listener);
if (cntxt.polygamyPermit) {
yesPoly.setSelected(true);
} else {
noPoly.setSelected(true);
}
ButtonGroup polyBtns = new ButtonGroup();
polyBtns.add(yesPoly);
polyBtns.add(noPoly);
polyBox.add(polyLabelA);
polyBox.add(polyLabelB);
polyBox.add(yesPoly);
polyBox.add(noPoly);
JPanel matrixBox = new JPanel();
matrixBox.setLayout(new BoxLayout(matrixBox, BoxLayout.PAGE_AXIS));
matrixBox.setAlignmentX(0.5f);
JLabel matrixLabelA = new JLabel("Kin Term Matrix");
JLabel matrixLabelC = new JLabel(ctxt.indSerNumGen + " rows");
JLabel matrixLabelD = new JLabel(ctxt.ktm.numberOfKinTerms() + " terms");
matrixLabelA.setAlignmentX(0.5f);
matrixLabelC.setAlignmentX(0.5f);
matrixLabelD.setAlignmentX(0.5f);
JButton matrixEditBtn = new JButton("Edit Matrix");
matrixEditBtn.setEnabled(false);
matrixEditBtn.setActionCommand("edit matrix");
matrixEditBtn.addActionListener(listener);
matrixEditBtn.setAlignmentX(0.5f);
matrixBox.add(matrixLabelA);
matrixBox.add(matrixLabelC);
matrixBox.add(matrixLabelD);
matrixBox.add(matrixEditBtn);
JPanel distinctBox = new JPanel();
distinctBox.setLayout(new BoxLayout(distinctBox, BoxLayout.PAGE_AXIS));
distinctBox.setAlignmentX(0.5f);
JLabel distinctLabelA = new JLabel("Distinct Terms");
JLabel distinctLabelB = new JLabel("of Address");
distinctLabelA.setAlignmentX(0.5f);
distinctLabelB.setAlignmentX(0.5f);
JRadioButton yesDistinct = new JRadioButton("Yes");
yesDistinct.setActionCommand("distinct yes");
yesDistinct.addActionListener(listener);
JRadioButton noDistinct = new JRadioButton("No");
noDistinct.setActionCommand("distinct no");
noDistinct.addActionListener(listener);
yesDistinct.setAlignmentX(0.5f);
noDistinct.setAlignmentX(0.5f);
if (ctxt.distinctAdrTerms) {
yesDistinct.setSelected(true);
} else {
noDistinct.setSelected(true);
}
ButtonGroup distinctBtns = new ButtonGroup();
distinctBtns.add(yesDistinct);
distinctBtns.add(noDistinct);
distinctBox.add(distinctLabelA);
distinctBox.add(distinctLabelB);
distinctBox.add(yesDistinct);
distinctBox.add(noDistinct);
/*
* NOTE: It should be possible to put all these elements directly into
* the ContentPane. But that doesn't work; the layout is truly ugly and
* stuff gets stacked on top of other stuff. What works is to put
* everything into a JPanel with BoxLayout. Then put the JPanel into
* ContentPane.
*/
JPanel leftCol = new JPanel();
leftCol.setLayout(new BoxLayout(leftCol, BoxLayout.PAGE_AXIS));
leftCol.add(nameFolderBox);
leftCol.add(Box.createRigidArea(new Dimension(0, 4)));
leftCol.add(populationBox);
leftCol.add(Box.createRigidArea(new Dimension(0, 8)));
leftCol.add(btnBoxUDPs);
leftCol.add(Box.createRigidArea(new Dimension(0, 8)));
leftCol.add(domThs);
leftCol.add(new JLabel(" "));
JPanel rightCol = new JPanel();
rightCol.setLayout(new BoxLayout(rightCol, BoxLayout.PAGE_AXIS));
rightCol.setBorder(
BorderFactory.createTitledBorder(BorderFactory.createLineBorder(Color.blue), "Options"));
rightCol.add(Box.createRigidArea(new Dimension(0, 20)));
rightCol.add(polyBox);
rightCol.add(Box.createRigidArea(new Dimension(0, 20)));
rightCol.add(matrixBox);
int high = (numUDPs > 0 ? 120 : 20);
rightCol.add(Box.createRigidArea(new Dimension(0, high)));
rightCol.add(distinctBox);
JPanel commentBox = new JPanel();
commentBox.setLayout(new BoxLayout(commentBox, BoxLayout.PAGE_AXIS));
commentBox.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "Notes on this culture:"));
JScrollPane commentsPane = new JScrollPane();
comments = new JTextArea();
comments.setColumns(20);
comments.setEditable(true);
comments.setRows(3);
comments.setText(PersonPanel.restoreLineBreaks(ctxt.comments));
comments.getDocument().addDocumentListener(new CommentListener());
commentsPane.setViewportView(comments);
commentBox.add(commentsPane);
JPanel guts = new JPanel(); // Holds the guts of this window
guts.setLayout(new BoxLayout(guts, BoxLayout.LINE_AXIS));
guts.add(leftCol);
guts.add(Box.createRigidArea(new Dimension(10, 4)));
guts.add(rightCol);
JPanel wholeThing = new JPanel();
wholeThing.setLayout(new BoxLayout(wholeThing, BoxLayout.PAGE_AXIS));
wholeThing.add(Box.createRigidArea(new Dimension(0, 4)));
wholeThing.add(guts);
wholeThing.add(Box.createRigidArea(new Dimension(0, 8)));
wholeThing.add(commentBox);
wholeThing.add(Box.createRigidArea(new Dimension(0, 4)));
getContentPane().add(wholeThing);
addInternalFrameListener(this);
setSize(600, 620);
setVisible(true);
} // end of ContextEditor constructor
