diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-14 14:23:49 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-14 14:25:20 +0200 |
| commit | c56ef88c5a41c45603b76b4e36d908ef653672a1 (patch) | |
| tree | 5fbcb3fd390c7631a928c3abd2e9dd6f064d629a /.gitignore | |
| parent | bd937ea397e23e5462cd8dd606dab1432d702d0c (diff) | |
Fix help source font setting and related cleanup
This was a regression from #28107 due to a typo in the `initial_set`
call.
I used the opportunity to harmonize the font settings by ensuring we
only get values in `editor_fonts.cpp` and set them all with proper and
consistent hint ranges in `editor_settings.cpp`.
Fixes #29774.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions