Home
last modified time | relevance | path

Searched refs:Signal_Delete_Event (Results 1 – 6 of 6) sorted by relevance

/dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/
H A Dgtkada-mdi.ads1021 Signal_Delete_Event : constant Signal_Name := "delete_event"; constant
H A Dgtkada-mdi.adb3848 (Win, Signal_Delete_Event,
/dports/x11-toolkits/gtkada/gtkada-2.24.4.0/src/
H A Dgtkada-mdi.ads938 Signal_Delete_Event : constant Signal_Name := "delete_event"; constant
H A Dgtk-widget.ads2259 Signal_Delete_Event : constant Glib.Signal_Name := constant
H A Dgtkada-mdi.adb3493 (Win, Signal_Delete_Event,
/dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/generated/
H A Dgtk-widget.ads3823 Signal_Delete_Event : constant Glib.Signal_Name := "delete-event"; constant