From cba0c78cf76f15c5e1b50bc48e5095c893609b88 Mon Sep 17 00:00:00 2001
From: Grant Sanderson <grant@3blue1brown.com>
Date: Mon, 20 Aug 2018 15:49:59 -0700
Subject: [PATCH] Numberline arrowhead should share strokewidth of numberline

---
 mobject/number_line.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mobject/number_line.py b/mobject/number_line.py
index c28868b9..b7d8d336 100644
--- a/mobject/number_line.py
+++ b/mobject/number_line.py
@@ -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)