griefith/test2
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Fix error in font scale rounding for the animation player

Browse Source
This commit is contained in:
Campbell Barton
2024-09-15 23:07:16 +10:00
parent 630eff9b5e
commit 085da6a08a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
source/blender/windowmanager/intern/wm_playanim.cc
View File

@@ -1665,7 +1665,7 @@ static bool playanim_window_font_scale_from_dpi(PlayState &ps)
{
const float scale = (GHOST_GetDPIHint(ps.ghost_data.window) / 96.0f);
const float font_size_base = 11.0f; /* Font size un-scaled. */
const int font_size = int(font_size_base * scale) + 0.5f;
const int font_size = int((font_size_base * scale) + 0.5f);
bool changed = false;
if (ps.font_size != font_size) {
BLF_size(ps.font_id, font_size);