Hi Dave,
Yes, this is a known problem. Remember that the 64-bit Mac OS X version of PixInsight is still experimental. This is one of a bunch of nasty GUI issues with this version. The 32-bit Mac OS X version does not have these problems.
Harry, this should never happen on the Windows version (to the extent to which the word never can be said in computing sciences). Have you reproduced a similar behavior?