From 6d5ccc6c3f0e9c76ebc96d9506c6d5f5824938c3 Mon Sep 17 00:00:00 2001 From: Tyler Goodlet Date: Tue, 29 Sep 2020 14:18:14 -0400 Subject: [PATCH] Specify font size in pixels --- piker/ui/_style.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/piker/ui/_style.py b/piker/ui/_style.py index 8f8dce60..0378f079 100644 --- a/piker/ui/_style.py +++ b/piker/ui/_style.py @@ -7,7 +7,10 @@ from qdarkstyle.palette import DarkPalette # chart-wide font -_font = QtGui.QFont("Hack", 4) +_font = QtGui.QFont("Hack") +# use pixel size to be cross-resolution compatible +_font.setPixelSize(6) + _i3_rgba = QtGui.QColor.fromRgbF(*[0.14]*3 + [1]) # splitter widget config