summaryrefslogtreecommitdiff
path: root/thirdparty/harfbuzz/src/hb-uniscribe.cc
diff options
context:
space:
mode:
authorHugo Locurcio <hugo.locurcio@hugo.pro>2021-03-30 15:32:16 +0200
committerHugo Locurcio <hugo.locurcio@hugo.pro>2021-03-30 15:33:24 +0200
commit07244241792e9ebe78f2e7d46a43c7dce74f4a41 (patch)
tree43001a28cefcdf55b555c05a92c0ae51a48e107e /thirdparty/harfbuzz/src/hb-uniscribe.cc
parent737f09895d24cfd267018bdea2c67c1a4ddd20a6 (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-uniscribe.cc')
0 files changed, 0 insertions, 0 deletions