On Thu, Apr 17, 2008 at 2:37 PM, Kev <kevinjamesfield(at)gmail(dot)com> wrote:
> > This is a long-ago-reported bug in wxWidgets. Unfortunately noone
> > there seems interested in fixing the code :-(
>
> Oh...well, thanks for your reply, anyway...so where would I go to look
> for already-reported bugs in the future? I've got another one but I'm
> not sure where to look to avoid double-reporting...
>
Most known issues are listed at http://www.pgadmin.org/support/issues.php
Plus, a quick search of the archives is recommended.
--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com