15 Jan
2013
15 Jan
'13
2:23 p.m.
On 15 Jan 2013, at 10:08 , Andreas Mang
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