Oh indeed, missed the attachment somehow, sorry about that.
And yes, there's an option already for that. But its on the 'advanced' tab with the default being "on" (changing this to "off" wouldn't probably be nice now) meaning couple of extra clicks which in case of dozens of servers gets quickly quite annoying.
On Mon, Jan 6, 2014 at 10:00 AM, Dave Page <dpage@pgadmin.org> wrote:
On Mon, Jan 6, 2014 at 7:57 AM, Guillaume Lelarge <guillaume@lelarge.info> wrote: > On Mon, 2014-01-06 at 09:59 +0530, Ashesh Vashi wrote: >> Did you forget to attach the patch? >> > > And isn't this already handled in the server's property?
Yes, it is.
>> On Mon, Jan 6, 2014 at 3:49 AM, Kaarel Moppel <kaarel.moppel@gmail.com>wrote: >> >> > Checkbox resides under "Options-> Browser -> UI misc". >> > >> > NB! didn't add the embed-xrc generated xrcDialogs.cpp class due to >> > verbosity, so it needs to executed by the code maintainer. >> > >> >> >> > > -- > Guillaume > http://blog.guillaume.lelarge.info > http://www.dalibo.com > > >