IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-08-04 10:23:03 -05:00
Code Issues Packages Projects Releases Wiki Activity

Resolve various debugger quirks. Fixes #1227

Browse Source 
- Prevent the user from executing multiple options at once, resulting in "Execute cannot be used while an asynchronous query is underway********** Error ****" messages

- Stop polling when debugging is complete.

- Don't show the busy cursory when debugging is complete.

- Display info messages properly, and reset them between executions.
This commit is contained in:
Murtuza Zabuawala
2016-11-11 14:25:11 +00:00
committed by Dave Page
parent f405cdf383
commit 6f30cabdbb
3 changed files with 201 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files
web/pgadmin/tools/debugger/static/css/debugger.css
+11
View File
@@ -67,3 +67,14 @@
.CodeMirror-foldgutter-folded:after {
content: "\25B6";
}
/* To make font same as Query tool in messages tab */
.messages {
white-space: pre-wrap;
font-family: monospace;
padding-top: 5px;
padding-left: 10px;
overflow: auto;
height: 100%;
font-size: 0.925em;
}