Hi Dave
I have added index in the pgAdmin3 documentation. Right now i have created index for only "titles"/"main headings". Attached is the patch file, also attached the screenshot of the index page.
Please review it and if looks OK then please commit it.
--
Akshay Joshi
Senior Software Engineer
EnterpriseDB Corporation
The Enterprise PostgreSQL Company
Phone: +91 20-3058-9522
Mobile: +91 976-788-8246