Hi emil, a workaround for preventing the crash is to rebuild the package with the current wxWidgets. I don't know yet why exactly and have informed wxWidgets maintainer. No answer at the moment.
I'm about to upload a new version of pgadmin3 to close another one. It will solve this too but I'd like to determine exactly what's going on. Cheers, Raphaël
