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

Drop old hi-dpi font inches sizes

status_bar
Tyler Goodlet 2021-06-13 23:59:02 -04:00
parent d269edc0b3
commit f320f95288
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
piker/ui/_style.py
View File

@ -33,9 +33,7 @@ _magic_inches = 0.0666 * (1 + 6/16)
# chart-wide fonts specified in inches # chart-wide fonts specified in inches
_font_sizes: Dict[str, Dict[str, float]] = { _font_sizes: Dict[str, Dict[str, float]] = {
'hi': { 'hi': {
# 'default': 0.0616,
'default': _magic_inches, 'default': _magic_inches,
# 'small': 0.055,
'small': 0.9 * _magic_inches, 'small': 0.9 * _magic_inches,
}, },
'lo': { 'lo': {