| From: | Akshay Joshi <akshay(dot)joshi(at)enterprisedb(dot)com> |
|---|---|
| To: | pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
| Subject: | Fixed help information issue for "Server Instrumentation" guru hint |
| Date: | 2013-08-05 06:54:00 |
| Message-ID: | CANxoLDcB9vqG+Bqm4ss54CEZ93dRtRWW7NGCw6k48qDuzjqpcQ@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-hackers |
Hi Dave
I have fixed on minor issue where there is no help information (.rst)
available for "Server Instrumentation" guru hint. Bug is reproducible when
user click on "Help" button on guru hint dialog for "Server
Instrumentation".
I have fixed it by disabling the "Help" button for "Server Instrumentation"
guru hint. Attached is the patch file. Please review it and if it look good
to you 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*
| Attachment | Content-Type | Size |
|---|---|---|
| Server_Instrumentation_Hint.patch | application/octet-stream | 1016 bytes |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Dave Page | 2013-08-05 11:56:48 | pgAdmin III commit: Ensure a role is selected to reassign objects to be |
| Previous Message | Paul Sowden | 2013-08-02 15:07:39 | Specifying the socket connection timeout in JDBC |