write our own little gulp-eslint which takes the eslint from our workspace root (#230115)

This commit is contained in:
Sandeep Somavarapu
2024-09-30 15:36:25 +02:00
committed by GitHub
parent ef44e67783
commit 841d51da29
8 changed files with 180 additions and 1072 deletions

View File

@@ -12,20 +12,20 @@ export class ActiveLineMarker {
this._update(previous && (previous.codeElement || previous.element));
}
_update(before: HTMLElement | undefined) {
private _update(before: HTMLElement | undefined) {
this._unmarkActiveElement(this._current);
this._markActiveElement(before);
this._current = before;
}
_unmarkActiveElement(element: HTMLElement | undefined) {
private _unmarkActiveElement(element: HTMLElement | undefined) {
if (!element) {
return;
}
element.classList.toggle('code-active-line', false);
}
_markActiveElement(element: HTMLElement | undefined) {
private _markActiveElement(element: HTMLElement | undefined) {
if (!element) {
return;
}