Discussion :

[NicoV]

Bonjour,

J'utilise un JTextPane dans lequel j'ai défini un style particulier pour appliquer sur les mots sélectionnés par l'utilisateur dans une liste. Quand l'utilisateur change la sélection, je remets le style par défaut de cette façon:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
    selectAll();
    setCharacterAttributes(getStyle(StyleContext.DEFAULT_STYLE), true);

Ca marche, mais dès que le document est gros (plusieurs 10k), les performances sont horribles, car DefaultStyledDocument est assez bourrin et considère que tout le document est modifié et lance un thread qui prend énormément de temps. Comment est-ce que je peux faire pour améliorer ces performances ?

Merci

[NicoV]

J'ai fini par trouver comment faire beaucoup plus efficace:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
    StyledDocument doc = getStyledDocument();
    int length = doc.getLength();
    int lastEnd = Integer.MAX_VALUE;
    for (int pos = 0; pos < length; pos = lastEnd) {
      Element run = doc.getCharacterElement(pos);
      lastEnd = run.getEndOffset();
      if (pos == lastEnd) {
        // offset + length beyond length of document, bail.
        break;
      }
      MutableAttributeSet attr = (MutableAttributeSet) run.getAttributes();
      if ((attr != null) && (attr.getAttribute(MediaWikiConstants.ATTRIBUTE_TYPE) != null)) { // un attribut ajouté sur mes styles
        doc.setCharacterAttributes(
            run.getStartOffset(),
            run.getEndOffset() - run.getStartOffset(),
            getStyle(StyleContext.DEFAULT_STYLE),
            true);
      }
    }

Au niveau performance, c'est le jour et la nuit, je suis passé d'une dizaine de secondes à probablement 1/10 de seconde.