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

Consistent busy indication. Fixes #1242

Browse Source
This commit is contained in:
Surinder Kumar
2016-06-29 12:16:02 +01:00
committed by Dave Page
parent 9396cb03d5
commit 53434030c1
13 changed files with 194 additions and 101 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
web/pgadmin/tools/debugger/static/css/debugger.css
View File

@@ -1,6 +1,6 @@
#container {
position: absolute;
top: 44px;
top: 40px;
bottom: 0px;
left: 0px;
right: 0px;
@@ -31,28 +31,12 @@
top: 0; bottom: 0; right: 0; left: 0;
}
.wcLoadingIcon {
position: absolute;
font-size: 100px;
left: calc(50% - 100px);
top: calc(50% - 100px);
height: 95px;
}
.wcLoadingLabel {
position: absolute;
width: 103%;
font-size: 30px;
top: calc(50% + 0px);
text-align: center;
}
.debugger-container .breakpoints {
width: 0.9em;
width: 0.9em;
}
.debugger-container .CodeMirror-activeline-background {
background: #50B0F0;
background: #50B0F0;
}
.CodeMirror-foldmarker {
@@ -64,7 +48,7 @@
}
.CodeMirror, .CodeMirror-gutters {
min-height: 100%;
min-height: 100%;
}
.CodeMirror-foldgutter {