> Should I still file a bug report?

i fixed it. thanks for report.
pavel

Reply via email to