| 9072 | |
| 9073 | #ifndef IMGUI_DISABLE_DEBUG_TOOLS |
| 9074 | static const char* GetInputSourceName(ImGuiInputSource source) |
| 9075 | { |
| 9076 | const char* input_source_names[] = { "None", "Mouse", "Keyboard", "Gamepad", "Nav", "Clipboard" }; |
| 9077 | IM_ASSERT(IM_ARRAYSIZE(input_source_names) == ImGuiInputSource_COUNT && source >= 0 && source < ImGuiInputSource_COUNT); |
| 9078 | return input_source_names[source]; |
| 9079 | } |
| 9080 | static void DebugPrintInputEvent(const char* prefix, const ImGuiInputEvent* e) |
| 9081 | { |
| 9082 | ImGuiContext& g = *GImGui; |