(In reply to comment #5) > The problem appears to be with WxWidgets 2.8.12 It is a problem with 2.8.12 on some (more recent?) distros. I don't see this issue on Ubuntu 10.10 building HEAD against 2.8.12.
Gale
(In reply to comment #5)
> The problem appears to be with WxWidgets 2.8.12
It is a problem with 2.8.12 on some (more recent?) distros. I don't see this
issue on Ubuntu 10.10 building HEAD against 2.8.12.
Gale