Widgets do not hide when using certain PHP version

It appears that some widgets are not hidden by DW when certain version(s) of PHP is being used. Unfortunately I have not found out to which version(s) of PHP this problem occurs. I have been able to reproduce the problem on an Ubuntu 10.04 server with PHP 5.3.2. It’s also possible it has to do with a combination of the used WordPress version.

Anyway, I’m working on the issue. It looks like I have a fix available for this problem in development version 1.5.2.6.