From 09df42a755cc66c0a69d01c1e1363181a8c48640 Mon Sep 17 00:00:00 2001
From: Grant Sanderson <grant@3blue1brown.com>
Date: Mon, 22 Jun 2020 15:22:05 -0700
Subject: [PATCH] Acutually uses Arrow.preserve_tip_size_when_scaling

---
 manimlib/mobject/geometry.py | 25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

diff --git a/manimlib/mobject/geometry.py b/manimlib/mobject/geometry.py
index bee0a552..e1b3457e 100644
--- a/manimlib/mobject/geometry.py
+++ b/manimlib/mobject/geometry.py
@@ -591,18 +591,19 @@ class Arrow(Line):
         self.set_stroke_width_from_length()
 
         # So horribly confusing, must redo
-        if has_tip:
-            self.add_tip()
-            old_tips[0].points[:, :] = self.tip.points
-            self.remove(self.tip)
-            self.tip = old_tips[0]
-            self.add(self.tip)
-        if has_start_tip:
-            self.add_tip(at_start=True)
-            old_tips[1].points[:, :] = self.start_tip.points
-            self.remove(self.start_tip)
-            self.start_tip = old_tips[1]
-            self.add(self.start_tip)
+        if self.preserve_tip_size_when_scaling:
+            if has_tip:
+                self.add_tip()
+                old_tips[0].points[:, :] = self.tip.points
+                self.remove(self.tip)
+                self.tip = old_tips[0]
+                self.add(self.tip)
+            if has_start_tip:
+                self.add_tip(at_start=True)
+                old_tips[1].points[:, :] = self.start_tip.points
+                self.remove(self.start_tip)
+                self.start_tip = old_tips[1]
+                self.add(self.start_tip)
         return self
 
     def get_normal_vector(self):