Skip to content

Issue #17: Add setting option to change font family #195

Issue #17: Add setting option to change font family

Issue #17: Add setting option to change font family #195

Triggered via push January 24, 2026 11:35
Status Success
Total duration 5m 21s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in