blob: 3ad221f465b9d9e6fde32a6e4f772aac2c82b373 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
/* 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/>. */
/* Checks to see if the root element is available and
* if the element is visible. We check the width of the element
* because it is more reliable than either checking a focus state or
* the visibleState or hidden property.
*/
export function isVisible() {
const el = document.querySelector("#mount");
return !!(el && el.getBoundingClientRect().width > 0);
}
/* Gets the line numbers width in the code editor
*/
export function getLineNumberWidth(editor) {
const { gutters } = editor.display;
const lineNumbers = gutters.querySelector(".CodeMirror-linenumbers");
return lineNumbers?.clientWidth;
}
/**
* Forces the breakpoint gutter to be the same size as the line
* numbers gutter. Editor CSS will absolutely position the gutter
* beneath the line numbers. This makes it easy to be flexible with
* how we overlay breakpoints.
*/
export function resizeBreakpointGutter(editor) {
const { gutters } = editor.display;
const breakpoints = gutters.querySelector(".breakpoints");
if (breakpoints) {
breakpoints.style.width = `${getLineNumberWidth(editor)}px`;
}
}
/**
* Forces the left toggle button in source header to be the same size
* as the line numbers gutter.
*/
export function resizeToggleButton(newSize) {
const toggleButton = document.querySelector(
".source-header .toggle-button.start"
);
if (toggleButton) {
toggleButton.style.width = `${newSize}px`;
}
}
|
