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.toshni...@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(+)
