pgAdmin 4 commit: Fixed an issue where the connection wasn't being clos - Mailing list pgadmin-hackers

Fixed an issue where the connection wasn't being closed when the user switched
to a new connection and closed the query tool. Fixes #7461

Fixed the 'Show activity?' issue which was missed during Dashboard porting.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=e95eb14651379bce43eb03ec8ca17b783a5f0489
Author: Pradip Parkale <pradip.parkale@enterprisedb.com>

Modified Files
--------------
docs/en_US/release_notes_6_11.rst                  |  1 +
web/pgadmin/dashboard/static/js/Dashboard.jsx      | 98 +++++++++++-----------
.../tools/sqleditor/static/js/SQLEditorModule.js   | 10 ---
.../static/js/components/QueryToolComponent.jsx    | 14 +++-
.../tools/sqleditor/templates/sqleditor/index.html | 15 ----
5 files changed, 64 insertions(+), 74 deletions(-)