Обсуждение: [pgAdmin 4][Patch] - RM #4923 - Enhancement for RM#3279

Поиск
Список
Период
Сортировка

[pgAdmin 4][Patch] - RM #4923 - Enhancement for RM#3279

От
Khushboo Vashi
Дата:
Hi,

Please find the attached patch to fix the RM #4923 - Enhancement for RM#3279.

Earlier we had *Delete/Drop* label in the context menu to remove the server which was not appropriate, so we have changed it to *Remove Server*, but the approach taken was not generic, which has been fixed in this patch. Apart from that, the Server Group drop label has been changed to 'Remove Server Group' in this patch as requested in the RM.

Thanks,
Khushboo
Вложения

Re: [pgAdmin 4][Patch] - RM #4923 - Enhancement for RM#3279

От
Akshay Joshi
Дата:
Thanks, patch applied.

On Mon, Dec 2, 2019 at 5:15 PM Khushboo Vashi <khushboo.vashi@enterprisedb.com> wrote:
Hi,

Please find the attached patch to fix the RM #4923 - Enhancement for RM#3279.

Earlier we had *Delete/Drop* label in the context menu to remove the server which was not appropriate, so we have changed it to *Remove Server*, but the approach taken was not generic, which has been fixed in this patch. Apart from that, the Server Group drop label has been changed to 'Remove Server Group' in this patch as requested in the RM.

Thanks,
Khushboo


--
Thanks & Regards
Akshay Joshi
Sr. Software Architect
EnterpriseDB Software India Private Limited
Mobile: +91 976-788-8246