Add a double click option in buttons

Like added in this PR for mouse_area widget, is it possible to add support for double click events on buttons.

I coded the feature, how to share it?