Marqueurs de texte
Un marqueur de texte permet d ’associer des informations à une ou des parties du texte
$w->tag('add', $tag, sprintf("%d.%d", $i, $offset), sprintf("%d.%d", $i, $offset+$l));
dans cet exemple,
- $w est le widget texte auquel on ajoute un marqueur associé à la variable $tag (valant ‘ search ’) à la position donnée par les indices donnés en 3ème et 4ème position