Inline images

Stream: Zulip meta

[Julian Berman]

Since the last 3 posters were all lucky, I'll try my shot :) -- does anyone understand the heuristic Zulip uses to decide whether to show an inline (GIF) image or a link to the image? I constantly do a dance (part of which is converting .mov files, but sometimes I try uploading to GitHub instead of letting the Zulip upload happen...) when uploading an image that I want inlined, but I really cannot figure out why the image didn't get inline rendered for the last one.

[Alya Abbott]

Can you link to where you posted an image that didn't get rendered? The only heuristic I'm aware of is if you have >24 images on a single message.

[Julian Berman]

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/lean.2Envim/near/473385145

[Julian Berman]

This is the most recent one, you probably can see in the edit history that I tried reuploading a few times.

[Julian Berman]

It's happened before to me, and my guess has always been that it has something to do with the gif framerate

[Alya Abbott]

Ah, yeah, that's due to the image size (counting all the frames). There's an ongoing discussion on how to handle this better.

[Alex Vandiver]

If you upload it as an .mp4, it'll get consistently inlined.