[gtkada] Src/gtkada-properties.adb patch proposal

[Emmanuel Briot]

> Hello, in 'testgtk.composite widget.file chooser button' example,
> clicking on properties button and then deleting the properties window before commuting to other test make the program crash.
> From GTKAda GPL 2012 built on MacOS 10.6 with GNAT GPL 2012 for Darwin x86_64.

Thanks for finding that bug.

> I guess there is a problem in cleaning the test frame when switching to next test as the property window is deleted.
> So as a workaround, I propose to hide the property window instead of deleting it as the property window object is global for all program calls.
> Maybe one on the list will have a better proposal.

The patch is incorrect, and just a workaround for an actual bug in gtkada-properties.adb, which has now
been fixed in the development version.


Emmanuel