diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-02-07 22:40:28 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-02-08 15:20:01 +0200 |
| commit | 8e3245383a266986605b098ed1ac0746258c3a61 (patch) | |
| tree | dde00cb508b059046e1a4f3f80e745b072998825 /doc/tools/doc_status.py | |
| parent | b6ddf4a62931e4154fac5b31bca60fe8f48cd7ff (diff) | |
[Editor] Fix font style matching issues.
Fix font selection when no style selected.
Fix style matching when fonts have different style sets.
Use SNAME for theme overrides.
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions