pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/web/pgadmin/static/js/wcDocker
History
Arun Kollan 05e527505d First pass at improving the dialogue borders. 2016-03-16 17:12:41 +00:00
..
README First pass at improving the dialogue borders. 2016-03-16 17:12:41 +00:00
wcDocker.js First pass at improving the dialogue borders. 2016-03-16 17:12:41 +00:00
wcDocker.min.js First pass at improving the dialogue borders. 2016-03-16 17:12:41 +00:00

README 

The wcDocker theme frame width has been changed from 6px to 4px. This change has 
been brought about to keep the width of the frame consistent with the width of 
the window divider. 

Below is the git diff of wcDocker.js

diff --git a/web/pgadmin/static/js/wcDocker/wcDocker.js b/web/pgadmin/static/js/wcDocker/wcDocker.js
index 954d73e..bc64b3b 100755
--- a/web/pgadmin/static/js/wcDocker/wcDocker.js
+++ b/web/pgadmin/static/js/wcDocker/wcDocker.js
@@ -3408,14 +3408,14 @@ define('wcDocker/frame',[
             this.$frame.append(this.$center);
 
             if (this._isFloating) {
-                this.$top = $('<div class="wcFrameEdgeH wcFrameEdge"></div>').css('top', '-6px').css('left', '0px').css('right', '0px');
-                this.$bottom = $('<div class="wcFrameEdgeH wcFrameEdge"></div>').css('bottom', '-6px').css('left', '0px').css('right', '0px');
-                this.$left = $('<div class="wcFrameEdgeV wcFrameEdge"></div>').css('left', '-6px').css('top', '0px').css('bottom', '0px');
-                this.$right = $('<div class="wcFrameEdgeV wcFrameEdge"></div>').css('right', '-6px').css('top', '0px').css('bottom', '0px');
-                this.$corner1 = $('<div class="wcFrameCornerNW wcFrameEdge"></div>').css('top', '-6px').css('left', '-6px');
-                this.$corner2 = $('<div class="wcFrameCornerNE wcFrameEdge"></div>').css('top', '-6px').css('right', '-6px');
-                this.$corner3 = $('<div class="wcFrameCornerNW wcFrameEdge"></div>').css('bottom', '-6px').css('right', '-6px');
-                this.$corner4 = $('<div class="wcFrameCornerNE wcFrameEdge"></div>').css('bottom', '-6px').css('left', '-6px');
+                this.$top = $('<div class="wcFrameEdgeH wcFrameEdge"></div>').css('top', '-4px').css('left', '0px').css('right', '0px');
+                this.$bottom = $('<div class="wcFrameEdgeH wcFrameEdge"></div>').css('bottom', '-4px').css('left', '0px').css('right', '0px');
+                this.$left = $('<div class="wcFrameEdgeV wcFrameEdge"></div>').css('left', '-4px').css('top', '0px').css('bottom', '0px');
+                this.$right = $('<div class="wcFrameEdgeV wcFrameEdge"></div>').css('right', '-4px').css('top', '0px').css('bottom', '0px');
+                this.$corner1 = $('<div class="wcFrameCornerNW wcFrameEdge"></div>').css('top', '-4px').css('left', '-4px');
+                this.$corner2 = $('<div class="wcFrameCornerNE wcFrameEdge"></div>').css('top', '-4px').css('right', '-4px');
+                this.$corner3 = $('<div class="wcFrameCornerNW wcFrameEdge"></div>').css('bottom', '-4px').css('right', '-4px');
+                this.$corner4 = $('<div class="wcFrameCornerNE wcFrameEdge"></div>').css('bottom', '-4px').css('left', '-4px');
 
                 this.$frame.append(this.$top);
                 this.$frame.append(this.$bottom);

The same changes have been made to wcDocker-min.js and is not included as the 
file is tidy formatted.