On Friday, 16 December 2011 at 00:44:07 UTC, Walter Bright wrote: > I hadn't planned to, but it's a good idea. I suggest adding it > as an enhancement request on bugzilla. I will do as you suggested. Thanks Walter.