Glisse sur le rendu pour surligner une plage (annotation). Un clic simple
sur le rendu place le curseur a l'endroit correspondant dans l'editeur
(jump rendu->source). Deplacer le curseur dans l'editeur pointe la
position dans le rendu (jump source->rendu).