Re: Copy & paste key commands not working correctly - Mailing list pgadmin-support

From johannes graën
Subject Re: Copy & paste key commands not working correctly
Date
Msg-id CA++JNSdmmcTkjHHbNOEp1QqcaoDjUvFuvU_ARHjkbtZtiTdmOA@mail.gmail.com
Whole thread Raw
In response to Re: Copy & paste key commands not working correctly  (Dave Page <dpage@pgadmin.org>)
Responses Re: Copy & paste key commands not working correctly  (Dave Page <dpage@pgadmin.org>)
List pgadmin-support
On Tue, Feb 16, 2016 at 12:00 PM, Dave Page <dpage@pgadmin.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/



pgadmin-support by date:

Previous
From: Dave Page
Date:
Subject: Re: DEFAULT PRIVILEGES incorrect
Next
From: Erwin Brandstetter
Date:
Subject: Re: DEFAULT PRIVILEGES incorrect