diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-03-30 15:32:16 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-03-30 15:33:24 +0200 |
| commit | 07244241792e9ebe78f2e7d46a43c7dce74f4a41 (patch) | |
| tree | 43001a28cefcdf55b555c05a92c0ae51a48e107e /thirdparty/harfbuzz/src/hb-buffer-deserialize-json.hh | |
| parent | 737f09895d24cfd267018bdea2c67c1a4ddd20a6 (diff) | |
Require editor restart after changing GUI custom theme or font
The `restart_if_changed` project setting hint wasn't set correctly.
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-buffer-deserialize-json.hh')
0 files changed, 0 insertions, 0 deletions