Fixed help information issue for "Server Instrumentation" guru hint - Mailing list pgadmin-hackers

From Akshay Joshi
Subject Fixed help information issue for "Server Instrumentation" guru hint
Date
Msg-id CANxoLDcB9vqG+Bqm4ss54CEZ93dRtRWW7NGCw6k48qDuzjqpcQ@mail.gmail.com
Whole thread Raw
Responses Re: Fixed help information issue for "Server Instrumentation" guru hint  (Dave Page <dpage@pgadmin.org>)
List 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

pgadmin-hackers by date:

Previous
From: Paul Sowden
Date:
Subject: Specifying the socket connection timeout in JDBC
Next
From: Dave Page
Date:
Subject: pgAdmin III commit: Ensure a role is selected to reassign objects to be