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