diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-08 10:03:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-08 10:03:12 +0100 |
| commit | 9a33c1b6a6615ffa703a9a28c8c7be6b7cf5a4db (patch) | |
| tree | 5ce5ebcf9280e9983c739a88f427dd1de45e1e86 /servers | |
| parent | aafbeb2be3dfee3af994487b57f0e0877d078561 (diff) | |
| parent | 43c7c279d5e5523a25bec4f3fb835c8ed1de6a23 (diff) | |
Merge pull request #46782 from bruvzg/fix_def_theme_size
Improve bitmap font scaling. Fix default theme font size.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions