diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2024-08-20 10:03:13 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-08-20 10:03:13 +0200 |
commit | 8dfb8efaa9c2461306da408ea7cb087ee6bcb0a9 (patch) | |
tree | 4540cf097a683eb850a824f29d64ab99c4aa6ac2 /platform/web | |
parent | 033054f182677e64085ed78ce33534d0e0b2e2df (diff) | |
parent | 97085358ce154f34d6ab571c35529a8b0e063513 (diff) | |
download | redot-engine-8dfb8efaa9c2461306da408ea7cb087ee6bcb0a9.tar.gz |
Merge pull request #95849 from bruvzg/sys_theme_check
[Editor] Prevent unnecessary editor theme regeneration on unrelated system setting update.
Diffstat (limited to 'platform/web')
0 files changed, 0 insertions, 0 deletions