Hey David,
> Obviously the first option isn't acceptable. The second isn't
> particularly nice either, but is not the end of the world.
>
> Thoughts folks?
>
Sounds to me like this is an issue to be discussed on wxWidgets support
forums. I haven't joined up there myself but plan to start getting
familiar with the world of wxWidgets in the near future so I have no
idea how responsive those guys are?
Cheers,
Bastiaan Olij