Skip to content

GUI: Fix handling of app font change #1036

GUI: Fix handling of app font change

GUI: Fix handling of app font change #1036

Triggered via pull request September 11, 2025 18:29
@gzottigzotti
opened #4510
Status Success
Total duration 10s
Artifacts

auto_assign.yml

on: pull_request_target
Add reviews
6s
Add reviews
Fit to window
Zoom out
Zoom in