DiscordManimator icon indicating copy to clipboard operation
DiscordManimator copied to clipboard

A Manim Rendering Bot for Discord. Requires a Functioning Manim install.

Results 4 DiscordManimator issues
Sort by recently updated
recently updated
newest added

Currently the bot resets the cli flags when pressing the rerender button and automagically rerender when pressing the change settings button which makes it pretty difficult to test scenes which...

enhancement

Making `!mhelp` more descriptive by adding info about `!mdocstring`, `!mdoc`, `!msearch` would be nice, as beginners can know how to use `DiscordManimator` bot efficiently in discord. Currently, `!mhelp` is returning...

It would be nice if the bot can detect when the code in a previous manimate command was changed, and have it delete the old rendering and rerender the animation.

enhancement

If you `msearch` 2 or more queries quickly, and react with an emote to one of them, the other results will also be affected. This should definitely not be the...