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

Specify font size in pixels

bar_select
Tyler Goodlet 2020-09-29 14:18:14 -04:00
parent 8276b02f92
commit 6d5ccc6c3f
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
piker/ui/_style.py
View File

@ -7,7 +7,10 @@ from qdarkstyle.palette import DarkPalette
# chart-wide font # 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]) _i3_rgba = QtGui.QColor.fromRgbF(*[0.14]*3 + [1])
# splitter widget config # splitter widget config