| 9516 | |
| 9517 | #ifndef IMGUI_DISABLE_DEBUG_TOOLS |
| 9518 | static const char* GetInputSourceName(ImGuiInputSource source) |
| 9519 | { |
| 9520 | const char* input_source_names[] = { "None", "Mouse", "Keyboard", "Gamepad" }; |
| 9521 | IM_ASSERT(IM_ARRAYSIZE(input_source_names) == ImGuiInputSource_COUNT && source >= 0 && source < ImGuiInputSource_COUNT); |
| 9522 | return input_source_names[source]; |
| 9523 | } |
| 9524 | static const char* GetMouseSourceName(ImGuiMouseSource source) |
| 9525 | { |
| 9526 | const char* mouse_source_names[] = { "Mouse", "TouchScreen", "Pen" }; |