| 8397 | |
| 8398 | #ifndef IMGUI_DISABLE_DEBUG_TOOLS |
| 8399 | static const char* GetInputSourceName(ImGuiInputSource source) |
| 8400 | { |
| 8401 | const char* input_source_names[] = { "None", "Mouse", "Keyboard", "Gamepad", "Nav", "Clipboard" }; |
| 8402 | IM_ASSERT(IM_ARRAYSIZE(input_source_names) == ImGuiInputSource_COUNT && source >= 0 && source < ImGuiInputSource_COUNT); |
| 8403 | return input_source_names[source]; |
| 8404 | } |
| 8405 | static void DebugPrintInputEvent(const char* prefix, const ImGuiInputEvent* e) |
| 8406 | { |
| 8407 | ImGuiContext& g = *GImGui; |