Bien sûr, j'ai coché les préférences pour avoir les numéros de lignes affichés,
dans le fichier, j'ai beau cliquer click droit pour afficher ces numéros de ligne,
il ne veut jamais se cocher !
Une erreur d'installation ?
J'utilise PHPEclipse et SVN, mais je ne pense pas que cela ait un impact !