On Thu, Sep 25, 2014 at 8:30 PM, Dave Page <dpage@pgadmin.org> 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 <olshevskiy87@bk.ru> 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 > > >