> We will probably fix it in CVS at some point (unless someone submits a patch > before that), thanks for reporting it. Turned out to be easy enough, so this is now done in CVS (on the HEAD, for GtkAda 2.0). Arno