Home
last modified time | relevance | path

Searched refs:Set_Default_Source (Results 1 – 4 of 4) sorted by relevance

/dports/x11-toolkits/gtkada/gtkada-2.24.4.0/src/
H A Dgtk-print_settings.ads184 procedure Set_Default_Source subprogspec
H A Dgtk-print_settings.adb768 procedure Set_Default_Source subprogram
778 end Set_Default_Source; argument
/dports/x11-toolkits/gtkada3/gtkada-1688bb8/src/generated/
H A Dgtk-print_settings.ads218 procedure Set_Default_Source subprogspec
H A Dgtk-print_settings.adb962 procedure Set_Default_Source subprogram
974 end Set_Default_Source; argument