En réponse à : JulienW

Eclipse a une fonction qui ressemble : il met des ptites lignes colorées sur une échelle verticale accolée à l’ascenseur, et ces lignes colorées correspondent à un marqueur dans le fichier : erreur, warning, recherche en cours, bookmark... Et il est vrai que c’était fort pratique.