diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-05 12:54:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-05 12:54:38 +0100 |
| commit | cdd63fa8722da2cce75d3d9db65ce06548a5fa31 (patch) | |
| tree | 70e015af921b51114c0bf36ae239b654c5f216df /thirdparty/fonts | |
| parent | 0b08c4d3d441b2fce3f7608f0d9f09572ec8906f (diff) | |
| parent | daceae79e8c676b392ce38c6eba7942ada2c04ed (diff) | |
Merge pull request #53839 from EricEzaM/editor-settings-changed-settings
Added ability to get list of editor settings changed when saving editor settings. Optimised settings changed notification.
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions