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

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

From

Khushboo Vashi

Date:

02 December 2019, 14:45:45

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

Attachment

RM_4923.patch

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

From

Akshay Joshi

Date:

03 December 2019, 09:22:26

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