mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
1. Show servers with server groups in the dropdown. 2. Highlighted current selected connection in the new connection dropdown. 3. Notify the user before changing the connection. refs #3794 |
||
---|---|---|
.. | ||
servers | ||
static | ||
templates/css | ||
tests | ||
__init__.py |