[gps-users] 4.0.0w snapshot - Switches tab of Project Properties vanished Mysteriously

[Arnaud Charlet]

Thanks for your email.

> I have reported this problem before. The problem exists still as of
> today. 

Note that bug reports should preferrably be sent to gps-devel rather than
gps-users.

> Again, here is the scenario leading to this problem on RH 9.0. Note
> that the .gps/ directory was removed before the test took place.

Right, that's a bug which will get fixed at some point.

It is expected that snapshots contain bugs, there's no guarantee about
fixing these, although we appreciate clear bug reports as yours to help
identify and fix these.

Cheers,

Arno