Skip to content

GUI: Fix handling of app font change #1040

GUI: Fix handling of app font change

GUI: Fix handling of app font change #1040

Triggered via pull request September 14, 2025 14:11
@gzottigzotti
ready_for_review #4510
Status Success
Total duration 48s
Artifacts

auto_assign.yml

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