| 11037 | |
| 11038 | #ifndef IMGUI_DISABLE_DEBUG_TOOLS |
| 11039 | static const char* GetInputSourceName(ImGuiInputSource source) |
| 11040 | { |
| 11041 | const char* input_source_names[] = { "None", "Mouse", "Keyboard", "Gamepad" }; |
| 11042 | IM_ASSERT(IM_COUNTOF(input_source_names) == ImGuiInputSource_COUNT); |
| 11043 | if (source < 0 || source >= ImGuiInputSource_COUNT) |
| 11044 | return "Unknown"; |
| 11045 | return input_source_names[source]; |
| 11046 | } |
| 11047 | static const char* GetMouseSourceName(ImGuiMouseSource source) |
| 11048 | { |
| 11049 | const char* mouse_source_names[] = { "Mouse", "TouchScreen", "Pen" }; |