Disable the editor and execute functions whilst queries are executing. Fixes #4021
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=98283c121399c8dfe18b81b19be3d8862128050d
Author: Khushboo Vashi <khushboo(dot)vashi(at)enterprisedb(dot)com>
Modified Files
--------------
docs/en_US/release_notes_4_3.rst | 3 ++-
web/pgadmin/tools/sqleditor/static/js/sqleditor.js | 5 +++++
2 files changed, 7 insertions(+), 1 deletion(-)