Version imprimable
Bonjour,
J'ai construit une console swing avec un jtextarea et en redirigant la sortie standard (system.out) vers le jtextarea.
Maintenant au bout d'un moment je voudrais qu'a partir d'un certain nombre de lignes présentes, les lignes les plus anciennes soient effacées, et que tout soit decalé, c'est à dire comme une console système.
Avez vous une idée?
PS: setRows n'est pas la solution.
Tu récupères tout le texte du JTextArea, tu lui fais le traitement adéquat pour enlever les lignes inutiles, puis tu remplaces l'ancien texte par le nouveau avec la méthode setText(String text) de JTextArea.
Certes mais cela n'est pas trop couteux par hasard?
Car le faite de reprendre tout le texte et de le ré appliquer c'est très couteux. Surtout que des lignes s'ajoutent toutes les secondes.
Bah je vois pas d'autres solutions. Il n'existe pas de méthode pour supprimer une ligne de texte en particulier pour les JTextArea donc c'est la seule solution. Pour ce qui est des répercussions sur les performances, j'en sais rien, mais il n'y a qu'une manière de le savoir : fais des tests.
Il suffit de faire un getDocument(), de trouver la premier retour à la ligne et d'appeler remove()... Comment penses-tu que les éditeurs de texte écrits en Java fonctionnent ? :)Citation:
Il n'existe pas de méthode pour supprimer une ligne de texte en particulier pour les JTextArea donc c'est la seule solution
Ouais merci, c'est exactement ça, je n'avais pas pensé à la méthode "remove" de Document.Citation:
Envoyé par Gfx
En fait il faut faire
jTextArea.getDocument().remove(0, jTextArea.getLineEndOffset(0));
Tu peux même faire mieux en ne supprimant que les X lignes plus anciennes au lieu de toutes les lignes :)
Exact en fait je supprime toujours la première ligne la plus ancienne, mais peut être que ta méthode d'enlever plus de lignes est moins couteuse.
Merci.
Je vise à faire la même chose j'aime bien si tu pourra m’éclaircir voir me donner sur quoi tu t'es basé pour rediriger la sortie ça sera gentil de ta part :)Citation:
Envoyé par DjGonk