| 2518 | } |
| 2519 | |
| 2520 | void ImGuiTextFilter::ImGuiTextRange::split(char separator, ImVector<ImGuiTextRange>* out) const |
| 2521 | { |
| 2522 | out->resize(0); |
| 2523 | const char* wb = b; |
| 2524 | const char* we = wb; |
| 2525 | while (we < e) |
| 2526 | { |
| 2527 | if (*we == separator) |
| 2528 | { |
| 2529 | out->push_back(ImGuiTextRange(wb, we)); |
| 2530 | wb = we + 1; |
| 2531 | } |
| 2532 | we++; |
| 2533 | } |
| 2534 | if (wb != we) |
| 2535 | out->push_back(ImGuiTextRange(wb, we)); |
| 2536 | } |
| 2537 | |
| 2538 | void ImGuiTextFilter::Build() |
| 2539 | { |