On 03/06/2006 03:41 AM, Leon wrote: > Thanks. I just don't want to report a bug that people do not think it is > a bug. Why not? That's what Bugzilla is for. If it's not a bug, we'll just close it. No harm done.