mirror of
https://github.com/3b1b/manim.git
synced 2026-01-10 06:58:05 -05:00
Fix InteractiveDevlopmentExample bug
This commit is contained in:
@@ -604,7 +604,7 @@ class InteractiveDevlopment(Scene):
|
||||
self.wait()
|
||||
self.play(circle.animate.stretch(4, 0))
|
||||
self.play(Rotate(circle, 90 * DEGREES))
|
||||
self.play(circle.animate.shift(2 * RIGHT), circle.animate.scale(0.25))
|
||||
self.play(circle.animate.shift(2 * RIGHT).scale(0.25))
|
||||
|
||||
text = Text("""
|
||||
In general, using the interactive shell
|
||||
|
||||
Reference in New Issue
Block a user