On Thu, 20 Mar 2003, Simon Farrow wrote:
> Do you know if there is any way to avoid it? Or if there is any effort to fix > the problem? I'm assuming that it is some kind of flushing issue. Do you know > if > I could force anything? Or is it something to do with restarting the Virtual > Machine? > > Simon. I don't think it's a technical problem. It's not causing anything bad to happen. As I said, it's more a usability concern. I'm pretty sure developers are aware of it, since I remember reading about it in some of the docs. I would ignore it at this point, or track it down if it bothers you. Obviously, it didn't bother me enough to do something about it. I would define it as "cosmetic", since I really don't think it has any impact on a functional level.