The patch looks good to me. It is a bug in server status windows from long time, I think - we should consider applying the patch to 1.20.
-- Thanks & Regards, Ashesh Vashi EnterpriseDB INDIA: Enterprise PostgreSQL Company <http://www.enterprisedb.com> *http://www.linkedin.com/in/asheshvashi* <http://www.linkedin.com/in/asheshvashi> On Thu, Sep 25, 2014 at 8:30 PM, Dave Page <[email protected]> wrote: > Ashesh, can you review this please? Do we consider it enough of a bug > to warrant pushing it to 1.20? I'm leaning towards yes. > > On Sat, Sep 20, 2014 at 6:42 PM, Dmitriy Olshevskiy <[email protected]> > wrote: > > Hello. I would like you to see this corrections. It would be nice not to > fix > > columns width every time you open the server's activity window). > > BTW, does anybody know, is there wxListControl's event for a double > click on > > a header borders? > > > > -- > > Dmitriy Olshevskiy > > > > > > > > -- > > Sent via pgadmin-hackers mailing list ([email protected]) > > To make changes to your subscription: > > http://www.postgresql.org/mailpref/pgadmin-hackers > > > > > > -- > Dave Page > Blog: http://pgsnake.blogspot.com > Twitter: @pgsnake > > EnterpriseDB UK: http://www.enterprisedb.com > The Enterprise PostgreSQL Company >
