Comment #2 on issue 4055 by
[hidden email]: Setting: remove
preference "Optional Buttons"
http://code.google.com/p/pharo/issues/detail?id=4055Name: Settings-Tools-FedericoScarpa.35
Author: FedericoScarpa
Time: 28 May 2011, 2:07:02 pm
UUID: c8eb76bf-f195-0708-181a-6d00fc461508
Ancestors: Settings-Tools-MarcusDenker.34
Removed Optional Buttons preference and all its subitems.
I didn't sign the licence agreement yet. I will do it ASAP :D
_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker