Increase frames splitter mouse hover area to make it easier to resize. Fixes #3865

This commit is contained in:
Aditya Toshniwal 2019-01-30 14:26:36 +05:30 committed by Akshay Joshi
parent 430be1c4cb
commit ab094e8f16
4 changed files with 16 additions and 4 deletions

View File

@ -34,6 +34,7 @@ Bug fixes
| `Bug #3853 <https://redmine.postgresql.org/issues/3853>`_ - Proper SQL should be generated when create domain of type interval with precision.
| `Bug #3858 <https://redmine.postgresql.org/issues/3858>`_ - Drop-down should be closed when click on any other toolbar button.
| `Bug #3862 <https://redmine.postgresql.org/issues/3862>`_ - Fixed keyboard navigation for dialog tabs.
| `Bug #3865 <https://redmine.postgresql.org/issues/3865>`_ - Increase frames splitter mouse hover area to make it easier to resize.
| `Bug #3871 <https://redmine.postgresql.org/issues/3871>`_ - Fixed alignment of tree arrow icons for Internet Explorer.
| `Bug #3872 <https://redmine.postgresql.org/issues/3872>`_ - Ensure object names in external process dialogues are properly escaped.
| `Bug #3891 <https://redmine.postgresql.org/issues/3891>`_ - Correct order of Save and Cancel button for json/jsonb editing.

View File

@ -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": {

View File

@ -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 {

View File

@ -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;