0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Work around issue #4908.

Browse source
This commit is contained in:
Glen Whitney 2020-05-20 23:27:07 -07:00 • committed by Gunter Labes
parent b331a08caa
commit b91b5095e5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/gui/widget/label_default.cfg
View file

@ -97,7 +97,7 @@
# dpi. It came out looking pretty decent on my 90-micron monitor.
#define _GUI_SCALE_RES SIZE
"(floor({SIZE} * 265 * 2 / (3 * screen_pitch_microns)))"
"(max({SIZE}, floor({SIZE} * 265 * 2 / (3 * screen_pitch_microns))))"
#enddef
#define _GUI_DEFINITION ID DESCRIPTION FONT_FAMILY FONT_SIZE FONT_STYLE FONT_COLOR