Thanks to visit codestin.com
Credit goes to github.com

Skip to content
PR cleanliness

Add "sans" alias to rc() to allow users to set font.sans-serif #18784

Sign in to view logs

Add "sans" alias to rc() to allow users to set font.sans-serif

Add "sans" alias to rc() to allow users to set font.sans-serif #18784

Triggered via pull request May 10, 2025 01:16
@fountafounta
synchronize #30030
founta:sans-serif-alias
Status Success
Total duration 28s
Artifacts –

clean_pr.yml

on: pull_request
pr_clean
22s
pr_clean
Fit to window
Zoom out
Zoom in