Jonathan Sauer wrote:
Hello,
What one would need is something like a unique group _id_, and a means to check whether a certain group id is dead (the group has ended) or not. Something like that.
Maybe a callback could be created:
function group_callback(type, where)
in that case a more advanced approach is needed - just two callbacks (open_group and close_group), i.e. no need for a type (which would involve a test for each call, and groups occur many times) - information about what kind of group (explicit, implicit, math, alignments, etc) Such an extension probably has to wait till fundamental steps in the roadmap are done (like the upcoming math subproject). Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------