I am surprised to find UI_EventType includes UI_EVENT_DBLCLK but there is no corresponding type for a single click?

Does this mean the burden of detecting clicks falls on the plugin by monitoring the button status and mouse positions?

I believe UI_EVENT_BUTTON are single clicks.