diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-04 10:30:22 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-04 10:30:22 +0200 |
| commit | 3a5eac7ca3bc93c5b454d985ed5155683f73002a (patch) | |
| tree | 0d1e0b05a5a8e6160130e8ebbe8e40ae4efbd25d /platform/windows | |
| parent | 163582de589f5e9b5c02e9b95a140cb36e6171d3 (diff) | |
| parent | 3e7bcc4755c55821f196a11d99798080aa4d3a79 (diff) | |
Merge pull request #62860 from Calinou/editor-log-bold-italic-mono-fonts
Define bold, italics and mono fonts in editor log for `print_rich()`
Diffstat (limited to 'platform/windows')
0 files changed, 0 insertions, 0 deletions