pgAdmin 4 commit: Fix an issue in the Query Tool where shortcut keys co - Mailing list pgadmin-hackers

Fix an issue in the Query Tool where shortcut keys could be ignored following a query error. Fixes #3915

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=06022dfd7e69a4ea058621df79c543290140dbbf
Author: Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>

Modified Files
--------------
docs/en_US/release_notes_4_15.rst                | 1 +
web/pgadmin/static/js/sqleditor/execute_query.js | 1 +
2 files changed, 2 insertions(+)