Esempio n. 1
0
 @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);
 }
Esempio n. 2
0
 @Override
 void quit() {
   if (changeCaseDlg != null) {
     prefs.put("selectedCase", changeCaseDlg.getSelectedCase());
   }
   super.quit();
 }