![](https://secure.gravatar.com/avatar/2db032cf35edc8b5a83f139a6bc96eac.jpg?s=120&d=mm&r=g)
18 May
2017
18 May
'17
5:25 a.m.
See also http://wiki.contextgarden.net/Commands_with_optional_arguments http://wiki.contextgarden.net/Commands_with_optional_arguments
How could I possibly have overlooked this?! Thanks a lot! ____________________________________________ Florian Grammel Copenhagen, Denmark