Options de pgAdmin - Onglet 2 (Préférences)