diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-07-06 17:37:40 +0300 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-07-06 17:37:40 +0300 |
| commit | e222615e979a494d5cdb69958d1690e8ac745728 (patch) | |
| tree | c5f9155b1b6b05826654e6dc36200ab76bc6b27a /core/pool_allocator.h | |
| parent | 0b6b49a897b35bec53765e1288c32d57afa1a293 (diff) | |
Fix editor remaining dimmed after certain actions
Fixes #30368
Diffstat (limited to 'core/pool_allocator.h')
0 files changed, 0 insertions, 0 deletions