I doubt that will work. Once you have converted it into a video, it’s just a video. You want to have a video with HTML5 button overlays. You will probably have to use Javascript for jumping to the various points in the video.
Let us know what finally works for you. Cheers, Rick > On Jan 21, 2022, at 11:02 AM, jbv via use-livecode > <use-livecode@lists.runrev.com> wrote: > > Hi Rick, > > Thank you for your answer. That was actually my very first option, > but it remains the most simple one. > I am now exploring a new option : generate an HTML5 animation and > then convert it to a video format. I'm just wondering if hotspots > (mostly to offer viewers options for branching to different segments > of the video) will be kept after the conversion... _______________________________________________ use-livecode mailing list use-livecode@lists.runrev.com Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode