diff options
author | kobewi <kobewi4e@gmail.com> | 2022-09-10 19:34:26 +0200 |
---|---|---|
committer | kobewi <kobewi4e@gmail.com> | 2022-09-10 19:34:26 +0200 |
commit | 7fc075d235df742728c04b19690ba8485c9d8bec (patch) | |
tree | 355b105ab3a3e5d8c427636da89c106bc1dbf286 /editor/editor_themes.cpp | |
parent | 461037203cc0ec4f8a59422163b37e29e125d5fc (diff) |
Prevent infinite loops in editor help search
Diffstat (limited to 'editor/editor_themes.cpp')
0 files changed, 0 insertions, 0 deletions