It would be really really great if when you added a new server, or changed local settings, that it wrote out the config file. When pgadmin crashes, you lose any settings changes.