On 2012-04-06 09:32, Walter Bright wrote:
Could do:

[[name = value]]

I suppose. Not sure what's better.

No. See my other reply.

--
/Jacob Carlborg

Reply via email to