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(dot)toshniwal(at)enterprisedb(dot)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(+)