Hi Dave
I have fixed one crash which occurs when user clicks on help button of Options dialog. Attached is the patch.
Please review it and if it looks good then can you please commit it.
--
Akshay Joshi
Senior Software Engineer
EnterpriseDB Corporation
The Enterprise PostgreSQL Company
Phone: +91 20-3058-9522
Mobile: +91 976-788-8246