Hans5958
commented
9 months ago It will include it properly IIRC, and don't worry about it.
Closed DNin01 closed 9 months ago
Hans5958
commented
9 months ago It will include it properly IIRC, and don't worry about it.
Also, I kind of just made a series of recordings without realizing I was recording MP4s and not GIFs. Does the website interpret those correctly or do we need to make some changes to the Markdown renderer? If not, it should be simple enough to just... well, convert them to GIFs.
They're all less than a megabyte, by the way.
When I think about it, I actually like the idea of using videos because users can control them, like they could rewind if they missed something. It is possible to make embedded videos loop, and maybe autoplay (though not autoplaying gives the user a chance to press play when they're ready to watch). There are places that use embedded videos where you might expect a GIF, including the Visual Studio Code release notes, so it wouldn't be anything unusual.
Although, I'm not sure how videos work elsewhere like in email or RSS feeds.