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  (Dave Page <dpage@pgadmin.org>)
Список 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 по дате отправления:

Предыдущее
От: Paul Sowden
Дата:
Сообщение: Specifying the socket connection timeout in JDBC
Следующее
От: Dave Page
Дата:
Сообщение: pgAdmin III commit: Ensure a role is selected to reassign objects to be