diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-03 20:13:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-03 20:13:28 +0100 |
| commit | 20563b081bcbfe853622a139422751dba6a75714 (patch) | |
| tree | 88759936aa09c0eec90c84d6f17067c696e10e40 /modules/mono/.editorconfig | |
| parent | a8a20a0e02c8459513542f77eaed9b7350812c94 (diff) | |
| parent | fad3138af7bbaee4bd7dea785657c84890411f0a (diff) | |
Merge pull request #56327 from pycbouh/editor-theme-goes-brrr-but-then-halts
Make the theme editor correctly stop updating after it was hidden
Diffstat (limited to 'modules/mono/.editorconfig')
0 files changed, 0 insertions, 0 deletions