mirror of
https://github.com/3b1b/manim.git
synced 2025-08-03 04:04:36 +08:00
Fix mistake
This commit is contained in:
@ -35,7 +35,7 @@ InteractiveDevlopment
|
||||
self.wait()
|
||||
self.play(circle.animate.stretch(4, 0))
|
||||
self.play(Rotate(circle, 90 * DEGREES))
|
||||
self.play(circle.animate.shift(2 * RIGHT, circle.scale, 0.25))
|
||||
self.play(circle.animate.shift(2 * RIGHT), circle.animate.scale(0.25))
|
||||
|
||||
text = Text("""
|
||||
In general, using the interactive shell
|
||||
|
Reference in New Issue
Block a user