Pavel Sanda wrote:
What is the correct way to do this?

you can not do this until somebody changes string in source code
using [[]] .
Ok, I'll create a trivial patch to the source for this.

Helge Hafting

Reply via email to