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

web/pgadmin/static/js/sqleditor/execute_query.js

@@ -164,6 +164,7 @@ class ExecuteQuery {
         self.sqlServerObject.resetQueryHistoryObject(self.sqlServerObject);
 
         self.loadingScreen.hide();
+        self.sqlServerObject.setIsQueryRunning(false);
         if (self.sqlServerObject.is_query_tool) {
           self.enableSQLEditorButtons();
         }