Edition, Search, highlight all searched words and not only the focused one

The Edition current search tool only show the currently focused word ->highlight all the searched words + the focused one

(from redmine: issue id 3478, created on 2023/10/23 by Matthieu Decorde)

Validation test

1. Open VOEUX Edition
2. Search for "m.+"
3. All "m.+" tokens should by highlighted in the current page and next pages

added edition type::feature + 1 deleted label

changed milestone to %TXM 0.8.4

added status::feedback label

changed milestone to %TXM 0.8.4

Not done in the last 0.8.3 update ?

changed the description

0.8.4 (2024-10-29 10h41) Ubuntu 20.04

OK, mais :

• on distingue mal quelle occurrence correspond à la position indiquée (quelle occurrence est la n-ième) ;
• si la recherche est lourde (ex. "j.*" dans NOV13-P1-V2-2022-10-11), on voit que tout semble recalculé quand on veut naviguer d'une occurrence à la suivante (1 ou 2 seconde pendant lesquelles tout le surlignage disparaît, puis réapparaît -> impression sapin de Noël ; + ventilateur à fond).

TXM 0.8.4 (2024-12-18 09h44) Ubuntu 22.04

Validation OK

Remarques :

Je confirme que la différence entre le match sélectionné et les autres est quasiment nulle.

La recherche simple d'une suite de mots, e.g. entend resserrer (sans les guillemets) fonctionne mais seul le 1er mot est surligné.

ok j'ai fait un ticket pour la prochaine fois #4126

j'ai aussi amélioré la couleur :

marked this issue as related to #4118

marked this issue as related to #4126

removed status::à tester label

closed