Fixed help information issue for "Server Instrumentation" guru hint

Поиск
Список
Период
Сортировка
От Akshay Joshi
Тема Fixed help information issue for "Server Instrumentation" guru hint
Дата
Msg-id CANxoLDcB9vqG+Bqm4ss54CEZ93dRtRWW7NGCw6k48qDuzjqpcQ@mail.gmail.com
обсуждение исходный текст
Ответы Re: Fixed help information issue for "Server Instrumentation" guru hint
Список 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
Вложения

В списке pgadmin-hackers по дате отправления: