Hi Guillaume
Someone just pointed out to me that the pgAdmin docs for the Options
dialogue weren't updated when the dialogue was redesigned. Did a
commit get missed there, or was that an oversight?
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company