diff options
| author | Yuri Sizov <yuris@humnom.net> | 2023-02-11 14:08:39 +0100 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2023-02-11 14:38:07 +0100 |
| commit | 18d6c91e8e299a077fc84c9d37090f6170fdceac (patch) | |
| tree | b57b5d78c2f9744881aa43fd90ef3f006f2aa425 /servers | |
| parent | c1f556c85d31593181d44ed71e323a711f75871f (diff) | |
Avoid cleaning up editor plugins when property list changes
Also removes a usability hack from the Theme editor, as it doesn't work anymore,
and it confuses the Inspector.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions