diff --git a/docs/en_US/release_notes_4_2.rst b/docs/en_US/release_notes_4_2.rst index 43439b0e7..d887861de 100644 --- a/docs/en_US/release_notes_4_2.rst +++ b/docs/en_US/release_notes_4_2.rst @@ -34,6 +34,7 @@ Bug fixes | `Bug #3853 `_ - Proper SQL should be generated when create domain of type interval with precision. | `Bug #3858 `_ - Drop-down should be closed when click on any other toolbar button. | `Bug #3862 `_ - Fixed keyboard navigation for dialog tabs. +| `Bug #3865 `_ - Increase frames splitter mouse hover area to make it easier to resize. | `Bug #3871 `_ - Fixed alignment of tree arrow icons for Internet Explorer. | `Bug #3872 `_ - Ensure object names in external process dialogues are properly escaped. | `Bug #3891 `_ - Correct order of Save and Cancel button for json/jsonb editing. diff --git a/web/package.json b/web/package.json index a554bbb53..0c2a1017a 100644 --- a/web/package.json +++ b/web/package.json @@ -97,7 +97,7 @@ "underscore": "^1.8.3", "underscore.string": "^3.3.4", "watchify": "~3.9.0", - "webcabin-docker": "git+https://github.com/EnterpriseDB/wcDocker/#25f6fda624c5469340da0c111a18545a4455973a", + "webcabin-docker": "git+https://github.com/EnterpriseDB/wcDocker/#9cf81f03bb350b76b77a264f1db5d55391d5e424", "wkx": "^0.4.5" }, "scripts": { diff --git a/web/pgadmin/static/scss/_webcabin.pgadmin.scss b/web/pgadmin/static/scss/_webcabin.pgadmin.scss index 4fd92cdb3..4af27da44 100644 --- a/web/pgadmin/static/scss/_webcabin.pgadmin.scss +++ b/web/pgadmin/static/scss/_webcabin.pgadmin.scss @@ -207,17 +207,25 @@ } -.wcSplitterBar { +.wcSplitterBarLine { background-color: $panel-border-color; border: none; } .wcSplitterBarV { - width: $panel-border-width; + width: $splitter-hover-width; + + & .wcSplitterBarLine { + width: $panel-border-width; + } } .wcSplitterBarH { - height: $panel-border-width; + height: $splitter-hover-width; + + & .wcSplitterBarLine { + height: $panel-border-width; + } } .wcSplitterBarV.wcSplitterBarStatic { diff --git a/web/pgadmin/static/scss/resources/_default.variables.scss b/web/pgadmin/static/scss/resources/_default.variables.scss index d622d180e..b25610bd7 100644 --- a/web/pgadmin/static/scss/resources/_default.variables.scss +++ b/web/pgadmin/static/scss/resources/_default.variables.scss @@ -156,6 +156,9 @@ $footer-padding: 0.5rem; $footer-min-height: 2rem; $footer-height-calc: $footer-min-height+$footer-padding*2; +// ($splitter-hover-width - $panel-border-width) should be even number to split evenly. +$splitter-hover-width: 7px; + $navbar-brand-bg: #222222; //place image url if image $navbar-brand-arrow-bg: #222222; $navbar-color-bg: $color-primary;