Christopher Besch

This is apparently only a problem with recent versions of Safari. Old ones don't appear to have this issue.

But only sometimes. When you click on the timeline, it works.

It somewhat works now but the jump takes half a second to be performed. This seems to be an issue with the browsers...

I actually did implement this feature in an older version of the Manim Editor but stripped it out when I did a major refactor; I thought no one would want...

The problem here is that the html buffer player I'm using requires fragmented videos, which have to be created too. That actually takes longer than the thumbnail generation. There is...

Thanks for the motivation-boost! But we can keep the PR open, we might reach a point at which we have the capacity or absolute necessity to implement this. Or we...

> Sidenote: when the installer asks you for rust dependencies, it will install fd-find and ripgrep for you I'm pretty sure it doesn't, as it didn't ask me when I...

> Maybe you missed it, since it's optional. Maybe I did, but the installer never asked me so I don't even now where I should've been looking.

> Which system did you say you were using? I'm using Manjaro which initially lacks both `xclip` and `fd`. I've also tested Ubuntu and Fedora, where they're installed by default....

Interesting... The Debian package for fd is called `fd-find`. I installed that and it exposed fd only through `fdfind`, without the dash. There is no `fd` package for Debian. This...