From f75b3108ceb1b0c6f9597b94abe3d25af6b86650 Mon Sep 17 00:00:00 2001
From: Tyler Goodlet <jgbt@protonmail.com>
Date: Wed, 31 Mar 2021 14:26:13 -0400
Subject: [PATCH] Size execution arrows to dpi

---
 piker/ui/_interaction.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/piker/ui/_interaction.py b/piker/ui/_interaction.py
index 1f4665f0..06258566 100644
--- a/piker/ui/_interaction.py
+++ b/piker/ui/_interaction.py
@@ -429,11 +429,14 @@ class ArrowEditor:
             None: 180,  # pointing to right (as in an alert)
         }[pointing]
 
+        # scale arrow sizing to dpi-aware font
+        size = _font.font.pixelSize() * 0.8
+
         arrow = pg.ArrowItem(
             angle=angle,
             baseAngle=0,
-            headLen=5*3,
-            headWidth=2*3,
+            headLen=size,
+            headWidth=size/2,
             tailLen=None,
             pxMode=True,