Alain: we should check if these problem is not present in another place. Fix in Inbox: Name: Morphic-MarianoMartinezPeck.584 Author: MarianoMartinezPeck Time: 12 May 2010, 7:42:50 pm UUID: 33b351fa-fc71-4ae1-8e7b-019570597208 Ancestors: Morphic-StephaneDucasse.583 Fix to issue Issue 2420 WorldState >> mostUsedToolsOn: is hardcoded to use StandardToolSet. When using another ToolSet, like the case of the Dev image, the most used tools still uses StandardToolSet instead of DEVToolSet. It need to be changed to use "ToolSet default" instead.