Grazie, non conoscevo questo metodo, peraltro ereditato da JTextArea.