No�.  but what I have learned is that any change, even to the good, will be very hard

to do because people are very much defined by habits. So do not expect the existing users to be 

happy� it�s sad but it is like that.

The way to make progress is (to somme extend) listen to these complaints and then to just ignore them ;-)

(Else Pharo browsers would be eye-cancer inducing green� and there are I am sure still people who

would argue that this was better with green windows ;-)