IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Disable the editor and execute functions whilst queries are executing. Fixes #4021

Browse Source
This commit is contained in:
Khushboo Vashi
2019-02-21 14:19:25 +00:00
committed by Dave Page
parent 5be0d17df5
commit 98283c1213
2 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
web/pgadmin/tools/sqleditor/static/js/sqleditor.js
View File

@@ -3394,6 +3394,11 @@ define('tools.querytool', [
$('#btn-explain-options-dropdown').prop('disabled', disabled);
$('#btn-edit-dropdown').prop('disabled', disabled);
$('#btn-load-file').prop('disabled', disabled);
$('#btn-save').prop('disabled', disabled);
$('#btn-file-menu-dropdown').prop('disabled', disabled);
$('#btn-find').prop('disabled', disabled);
$('#btn-find-menu-dropdown').prop('disabled', disabled);
$('#btn-download').prop('disabled', disabled);
if (this.is_query_tool) {
// Cancel query tool needs opposite behaviour
$('#btn-cancel-query').prop('disabled', !disabled);