Home
last modified time | relevance | path

Searched defs:Handler_Id (Results 1 – 2 of 2) sorted by relevance

/dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/
H A Dgtk-handlers.ads189 type Handler_Id is record type
/dports/x11-toolkits/gtkada/gtkada-2.24.4.0/src/
H A Dgtk-handlers.ads194 type Handler_Id is record type