On Tue, Feb 16, 2016 at 12:00 PM, Dave Page <[email protected]> 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/ -- Sent via pgadmin-support mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
