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 |
||
|---|---|---|
| .. | ||
| static | ||
| templates/sqleditor/sql | ||
| tests | ||
| utils | ||
| __init__.py | ||
| command.py | ||