Hello,

The helper function findPos is copied+pasted into each of the three
frontends - if someone suggests a sensible place to put it so that it
can be shared, I'll do that and amend each frontend accordingly.

John

Reply via email to