PATCH: resolving issue in casts as functions are not being fetched due to change in node.ui.js - Mailing list pgadmin-hackers

From Sanket Mehta
Subject PATCH: resolving issue in casts as functions are not being fetched due to change in node.ui.js
Date
Msg-id CA+yw=mNNmLY_j6_zDOJ-P9zMcS8ZNCFWbU-a4WPVBSzoqfeL8A@mail.gmail.com
Whole thread Raw
Responses Re: PATCH: resolving issue in casts as functions are not being fetched due to change in node.ui.js
List pgadmin-hackers
Hi,

Due to commit id 944bdbb96c3b360c856d7586144b835e44afac43 in node.ui.js,
functions were not being fetched after selecting source and target types as I have overridden the options property for functions select control. 

I have resolved that issue and patch is attached with this mail.

Please do review it.

Regards,
Sanket Mehta
Sr Software engineer
Enterprisedb
Attachment

pgadmin-hackers by date:

Previous
From: Sandeep Thakkar
Date:
Subject: Patch for pgAdmin4 RPM package
Next
From: Ashesh Vashi
Date:
Subject: pgAdmin 4 commit: Resolved an issue - fetching the source, and target t