mirror of
https://github.com/HeyPuter/firefox.git
synced 2026-11-13 20:14:57 -10:00
Nicolas Chevobbe
7a54cdfae8
We remove the pseudo elements we were using to draw the borders and put them on the grid elements instead. We make the GridElementResizer 6px and translate it so there's handle on "both sides" of the splitter. Differential Revision: https://phabricator.services.mozilla.com/D45302
33 lines
1.0 KiB
CSS
33 lines
1.0 KiB
CSS
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
.grid-element-width-resizer {
|
|
/* The space we'll have on each side of the "splitter border" */
|
|
--inline-inset: 3px;
|
|
/* We use the --inline-inset value that we multiply by 2 and add 1px to center the splitter */
|
|
width: calc(1px + (2 * var(--inline-inset)));
|
|
position: relative;
|
|
cursor: ew-resize;
|
|
z-index: 10;
|
|
}
|
|
|
|
.grid-element-width-resizer.start {
|
|
justify-self: start;
|
|
inset-inline-start: calc(-1 * var(--inline-inset));
|
|
}
|
|
|
|
.grid-element-width-resizer.end {
|
|
justify-self: end;
|
|
inset-inline-start: var(--inline-inset);
|
|
}
|
|
|
|
.dragging,
|
|
.dragging * {
|
|
/* When resizing, we keep the "resize" cursor on every element we might hover */
|
|
cursor: ew-resize !important;
|
|
/* This prevents to trigger some :hover style and is better for performance
|
|
* when resizing */
|
|
pointer-events: none !important;
|
|
}
|