public void replace() {
   try {
     find();
     if (select_start != -1) txt.replaceSelection(textR.getText());
   } catch (NullPointerException e) {
     System.out.print("Null Pointer Exception: " + e);
   }
 }
Exemple #2
0
 public void deleteMenuAction(ActionEvent event) {
   if (sourceArea != null) {
     sourceArea.replaceSelection("");
   }
 }