diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-01-24 09:51:35 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-01-24 09:51:35 +0200 |
| commit | f13db28a5c1148ce0096d9be9cbd6040553f9f6f (patch) | |
| tree | d4a129d603f33a0e5b85df45e78a9672897df13b /editor/property_editor.cpp | |
| parent | 31a7ddbf838572e50415159a56720275f9523262 (diff) | |
[Editor] Do not update editor help theme, if calculated margin hasn't changed.
Diffstat (limited to 'editor/property_editor.cpp')
0 files changed, 0 insertions, 0 deletions