_ displayed as arrow then redisplayed as _

Hi

I experienced the following bug: I browsed the Hobbes project

there were two files

        hobbes-pavel<-krivanek
        hobbes-pavel_krivanek

then when I click on the file I got
        hobbes-pavel_krivanek
        hobbes-pavel_krivanek

so difficult to reproduce of course.

Stef

_______________________________________________
Pharo-project mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project