@Override
void openChangeCaseDialog() {
if (changeCaseDlg == null) {
changeCaseDlg = new ChangeCaseDialog(GuiWithFormat.this, false);
// non-modal
changeCaseDlg.setSelectedCase(prefs.get("selectedCase", "UPPER CASE"));
changeCaseDlg.setLocation(
prefs.getInt("changeCaseX", changeCaseDlg.getX()),
prefs.getInt("changeCaseY", changeCaseDlg.getY()));
}
if (jTextArea1.getSelectedText() == null) {
jTextArea1.selectAll();
}
changeCaseDlg.setVisible(true);
}
@Override
void quit() {
if (changeCaseDlg != null) {
prefs.put("selectedCase", changeCaseDlg.getSelectedCase());
}
super.quit();
}