diff options
| author | Yuri Rubinsky <chaosus89@gmail.com> | 2022-06-29 07:57:16 +0300 |
|---|---|---|
| committer | Yuri Rubinsky <chaosus89@gmail.com> | 2022-06-29 15:08:54 +0300 |
| commit | c6f57c30c39d43bb5faaa0451d824159d61f32c6 (patch) | |
| tree | 4b544a931b44661c03f61a997c39c96f4de42845 /editor/editor_fonts.h | |
| parent | caa9ec8aca80e34944f2f725dd39f154007d3f77 (diff) | |
Fix `help_title_font_size` editor property to correctly apply to docs
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions