diff options
| author | Noshyaar <poommetee@protonmail.com> | 2018-01-01 18:48:33 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-01 18:48:33 +0700 |
| commit | 2154f82302a8a5a7b25e5425a9579de692e0726f (patch) | |
| tree | f529cac80d75a4e523f8bc1f5d8cdf8a0ce73cfb /doc | |
| parent | 45612f16571b4bf1430363c40af1fa9f2f110903 (diff) | |
| parent | 62f3af9de14f89a66cc738fac4c4e470a180ec23 (diff) | |
Merge pull request #15152 from poke1024/editor-settings-change
Only send editor "settings_changed" if actually changed
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions