On Tue, Jan 31, 2012 at 11:42 PM, Gergely Buday <[email protected]> wrote: > Hi, > > is there a canonical way to play a sound file in Ur/Web? I did not > find neither "sound" nor "audio" in the manual.
I don't believe Ur/Web supports the HTML <audio> element but you can add support using the C FFI. Same with <embed>, <object>, etc. Chris. -- http://www.bluishcoder.co.nz _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
