[gtkada] Gdk_Input sockets and IO

[Arnaud Charlet]

> The gtk_input_* functions provide the functionality, so you just have to bind
> them.  The bindings are already done in my two attachments; I call the packge
> Gdk.Addendum as a throwdown solution, since I hope this code or something
> similar will be put in one of the existing GtkAda source files someday.  (In
> those files I assign the copyright to BB&C, since it's mostly just a few minor
> tweaks to one of the files that came in their GtkAda distribution.  However,
> don't expect them to answer questions about it!)

Note that you can use Gdk.Input which is already bound (and which is why
we haven't bound gtk_input yet) instead of Gtk.Input, that's what we use
in GVD. But as noted in the package spec, this is not supported under
Windows (neither is gtk_input, since they use the same implementation).

Arno