On 15 Jan 2013, at 10:08 , Andreas Mang wrote

In my opinion this is a very helpful feature, as it allows to differentiate between definition and use.

@Hans: May I humbly ask, if it is possible to fix this?! (it doesn't hurt to ask, I suppose ;) )

Cheers, Andreas

+1 !! Best regards, Robert Blackstone