May be the problem with Settings-->Environment is similar as the Settings-->Editor one.
Michael,
What do I have to turn on to get this crash?
I don't seem to be able to reproduce it on Ubuntu 510?
Do you get it?
Edit: Ok, I see that you dont get the crash (on closer reading).
It seems the crash occurs with the .deb package. Does the
deb package distribute the resources along with the code?
Does the .deb package *update* the resources?
Is the .deb accidently failing to update resources?
Maybe you could compare your resources (for Settings->Environment)
with your collegues resources?
Maybe you could delete every .zip file in his CB directory, re-install
the .deb and see if the bug goes away?
thanks
pecan