[kolc]

Thanks. It looks like the alt-tab down-size "fix" handles the problem. I had similar problem with WAW and that was the fix there, too.