Comment 5 for bug 1171160

Bernd,

This is almost certainly a bug in wx, and one that we cannot work around other than avoiding use of that character in such a context.

The true fix would be to report it to the wxWidgets team, and get it fixed there. It is not a critical bug. I am marking as won't fix and not critical.

Thanks for reporting it, and if you are ambitious, you could file it with wxWidgets team and refer to this bug report in your report over there.

Dick