a mouse button has been double-clicked (clicked twice within a short period of time).
Note that each click also generates a gdk_button_press event.