diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-03-30 16:02:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-30 16:02:15 +0200 |
commit | af3aa16e906fc97af4cc3773eec9e7ee756d5cd3 (patch) | |
tree | 43001a28cefcdf55b555c05a92c0ae51a48e107e /thirdparty/harfbuzz/src/hb-icu.h | |
parent | 737f09895d24cfd267018bdea2c67c1a4ddd20a6 (diff) | |
parent | 07244241792e9ebe78f2e7d46a43c7dce74f4a41 (diff) |
Merge pull request #47494 from Calinou/gui-custom-font-fix-require-restart
Require editor restart after changing GUI custom theme or font
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-icu.h')
0 files changed, 0 insertions, 0 deletions