mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-14 09:01:59 -05:00
Allow user to edit the connection properties when the database server is already connected.
Allow user to edit the connection properties when the database server is already connected.