On Tue, Feb 16, 2016 at 12:00 PM, Dave Page <dpage(at)pgadmin(dot)org> wrote:
> Where did your build come from? What version of wxWidgets is it using?
It's an official Arch package:
https://www.archlinux.org/packages/community/x86_64/pgadmin3/
The wxWidgets version is 2.8.12.1:
https://www.archlinux.org/packages/extra/x86_64/wxgtk2.8/