pikers
/
piker
3
0
Fork 0
Code Issues 5 Pull Requests 7 Packages Projects Releases Wiki Activity

Size execution arrows to dpi

readme_bumpz
Tyler Goodlet 2021-03-31 14:26:13 -04:00
parent 0dfa92230d
commit f75b3108ce
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
piker/ui/_interaction.py
View File

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