[gtkada] Double click event

[Emmanuel Briot]

 > How do i capture a _double click_ event. ?
 > 
 > Can anyone supply some example accepting code of a handler ?


In the event handler for the "button_press" signal, test the following:

   if Get_Event_Type (Event) = Gdk_2Button_Press then
       ...
   end if;


See gdk-types.ads for the definition of Gdk_Event_Type.

Emmanuel