diff options
| author | Haoyu Qiu <timothyqiu32@gmail.com> | 2023-04-07 20:01:55 +0800 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2023-04-24 14:16:37 +0200 |
| commit | e7f7de004465e274721bb6ec82f60424b21e0c95 (patch) | |
| tree | 0be0656901c8a8e5dc2da345c8d747d20418c1d0 /misc/dist/windows | |
| parent | a6e15e2f1563543b375ae28e3490e646c47a7ca3 (diff) | |
Set font sizes for various styles in editor output panel
(cherry picked from commit 2c0db8222a2e9f882040e773f3b375510ebcccc5)
Diffstat (limited to 'misc/dist/windows')
0 files changed, 0 insertions, 0 deletions