opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-03 04:04:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

OldLaggedStart -> LaggedStartMap

Browse Source
This commit is contained in:
Grant Sanderson
2019-02-14 12:06:21 -08:00
parent 4a00161bee
commit 993f7edee9
61 changed files with 906 additions and 939 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
old_projects/WindingNumber.py
View File

@ -2009,7 +2009,7 @@ class LoopSplitScene(ColorMappedObjectsScene):
play_combined_fade(start, end, midline_lines_vmobject, midline_bullets)
def flash_circles(circles):
self.play(OldLaggedStart(FadeIn, VGroup(circles)))
self.play(LaggedStartMap(FadeIn, VGroup(circles)))
self.wait()
self.play(FadeOut(VGroup(circles)))
self.wait()