Yes, I still object. The background colour should come from the OS or window manager as it would in other apps.
The highlighting customisation is good though, and essential with the above. On 2/8/10, Guillaume Lelarge <[email protected]> wrote: > Le 08/02/2010 22:39, Dave Page a écrit : >> I should read more carefully :-(. Ignore my last paragraph. >> > > Sorry, I don't get it. You still have an objection to this patch or not ? > > > -- > Guillaume. > http://www.postgresqlfr.org > http://dalibo.com > -- Dave Page EnterpriseDB UK: http://www.enterprisedb.com -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
