mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
38 lines
2.9 KiB
Plaintext
38 lines
2.9 KiB
Plaintext
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.
|
|
|