Skip to content

GUI: Fix handling of app font change #4740

GUI: Fix handling of app font change

GUI: Fix handling of app font change #4740

Triggered via pull request September 15, 2025 08:47
@gzottigzotti
synchronize #4510
Status Success
Total duration 3m 7s
Artifacts

maintenance.yml

on: pull_request_target
Check conflicts
5s
Check conflicts
Check CRLF line endings
55s
Check CRLF line endings
Linting JSON
3m 2s
Linting JSON
Fit to window
Zoom out
Zoom in