On Wed, Jan 27, 2010 at 10:33 PM, Guillaume Lelarge <guilla...@lelarge.info> wrote:
> * should we have a global history or a history per database? I prefer > the former... Global. > * probably I need to add a Clear button? Nah - just delete the file. > * should I add options to allow the change the filename? Didn't you just add such an option for favourites? If so, yes. BTW, how does this fit with the favourites - I wonder if it should always list them too. > * is there anything else I have to add? Not that I can think of offhand. -- Dave Page EnterpriseDB UK: http://www.enterprisedb.com -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
