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 /AUTHORS.md | |
| 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 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions