Our CI settings are a bit outdated - they just npm install - we should move them to Github actions so the whole team can have full access to the whole process. It should run:

• npm install
• npm start
• npm run docs

Android 5.0 Map is not defined

Hello everyone, I will explain the current status of manim in this issue.

Now there are three main manim versions, and their differences:

1. The master branch of 3b1b/manim: Rendering on GPU using OpenGL and moderngl. Support interaction and have higher efficiency.
2. ManimCommunity/manim: (@ManimCommunity

When adjusting alpha on a pixel from the color picker it's quite easy to "whiff" the alpha bar and replace your current color with black because the SV box's area for some reason extends several pixels below the alpha bar's. Demonstration in the below image:

I'd recommend the alpha

Is there any way to implement horizontal radio button group?