public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-01 00:48:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Acutually uses Arrow.preserve_tip_size_when_scaling

Browse source
This commit is contained in:
Grant Sanderson 2020-06-22 15:22:05 -07:00
parent 687d70e9b6
commit 09df42a755
1 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
manimlib/mobject/geometry.py
View file

@ -591,6 +591,7 @@ class Arrow(Line):
self.set_stroke_width_from_length()
# So horribly confusing, must redo
if self.preserve_tip_size_when_scaling:
if has_tip:
self.add_tip()
old_tips[0].points[:, :] = self.tip.points