I searched the documentation and found nothing about double clicks. I think there should either be some state for this in the mouse input event or at least a function to get the double click time from the system.

Keep in mind that triple clicks and so on also need to be supported. Triple click typically selects a paragraph in a text view.