diff options
| author | Haoyu Qiu <timothyqiu32@gmail.com> | 2020-02-02 11:07:01 +0800 |
|---|---|---|
| committer | Haoyu Qiu <timothyqiu32@gmail.com> | 2020-02-02 11:11:20 +0800 |
| commit | 421ea09195d7d8dcd904eed764d62e956233e7cd (patch) | |
| tree | b7c6fe00e2bc089b7502b99633f258d6f4078a72 /editor/editor_help_search.h | |
| parent | 0edcb8ed58be8bf6a5145ceaae5ff96778afb2a2 (diff) | |
Fixes add group in Group Editor dialog
Before this fix, new group can't be created if any existing group starts
with the new name.
Diffstat (limited to 'editor/editor_help_search.h')
0 files changed, 0 insertions, 0 deletions