On Thursday 18 October 2007, Henning Westerholt wrote: > Anyway, this don't qualify for me as bugfix or tools enchancement, so > its not possible to do this change at the moment in the trunk. I would say I was speaking exactly about a tool enhancement here, but it seems that depends very much on each one's definition. -- Dan