public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-05 16:49:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Numberline arrowhead should share strokewidth of numberline

Browse source
This commit is contained in:
Grant Sanderson 2018-08-20 15:49:59 -07:00
parent 1c348cbe95
commit cba0c78cf7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
mobject/number_line.py
View file

@ -145,6 +145,7 @@ class NumberLine(VMobject):
vect = (end - start) / get_norm(end - start)
arrow = Arrow(start, end + MED_SMALL_BUFF * vect, buff=0)
tip = arrow.tip
tip.set_stroke(width=self.get_stroke_width())
tip.set_color(self.color)
self.tip = tip
self.add(tip)