Some GUI objects (buttons, checkboxes, dialogs) are not always garbage-collected after termination of script execution. As a result, some long-term living objects that depend on open images cause an application crash upon closing those images.
Procedure to reproduce this bug:
- Start a fresh PixInsight session.
- Open an image (size, color space and data type don't matter)
- Select Script > Utilities > ExtractWaveletLayers
- Click OK to generate a set of wavelet layer images.
- Select File > Close All
This consistently leads to an application crash (segfault) on all platforms.
This bug has been fixed in the incoming version 1.5.6.
For those who are interested in Mozilla's JavaScript engine internals, the bug consisted in a lacking call to
JS_MapGCRoots
