This would seem such a basic function of a video player but I can't see any documentation for such a facility.

Have I missed it or does someone know how to loop a video in allvideos? ???

Sorry you cannot.