[gtkada] Clipboard copy question

[manuel.op.de.coul at eon-benelux.com]

Another problem now, GtkAda 1.3.12 on Windows.
When I copy a selected piece of text to the clipboard with

Gtk.Editable.Copy_Clipboard(Editable => My_Text, Time => 0);

then it can only be done once for the whole lifetime
of the program. In other words, for the first time it
works, but after subsequent copies, still the first text
is given by the Windows paste function.
Then if the program is restarted it can be done another one time.
Replacing the time with Gdk.Event.Get_Time(My_Event) doesn't
make a difference.
Is there something I don't understand or is it a bug?

Thanks,

Manuel