diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-12 07:12:48 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-12 07:12:48 +0200 |
| commit | dc4185b6cb5a5e12604d2910830061b5a4a0fd9a (patch) | |
| tree | a2e1c5a1b4dc6c59d34fb0ab6f26a451475fefdd /res/about/about.gmi | |
| parent | eed83717b6125ba655be9ffd618f301ef97948b2 (diff) | |
FontPack: Font dropdown includes IDs if ambiguous
If some fonts have the same human-readable name, the unique font ID will be added to show which font it actually is.
Diffstat (limited to 'res/about/about.gmi')
0 files changed, 0 insertions, 0 deletions