Satisfy linter

This commit is contained in:
Henrik Giesel 2021-06-18 02:44:15 +02:00
parent a3a59f0293
commit 767af9e478
5 changed files with 7 additions and 5 deletions

View File

@ -180,6 +180,7 @@ svelte_check(
"//ts/sass:button_mixins_lib", "//ts/sass:button_mixins_lib",
"//ts/sass/bootstrap", "//ts/sass/bootstrap",
"//ts/components:svelte_components", "//ts/components:svelte_components",
"//ts/components",
"@npm//@types/bootstrap", "@npm//@types/bootstrap",
], ],
) )

View File

@ -168,7 +168,7 @@ License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
let:shortcutLabel let:shortcutLabel
> >
<DropdownItem <DropdownItem
on:click={(event) => wrapCurrent("[$$]", "[/$$]", event)} on:click={() => wrapCurrent("[$$]", "[/$$]")}
on:mount={createShortcut} on:mount={createShortcut}
> >
{tr.editingLatexMathEnv()} {tr.editingLatexMathEnv()}

View File

@ -40,12 +40,12 @@ export class Editable extends HTMLElement {
this.setAttribute("contenteditable", ""); this.setAttribute("contenteditable", "");
} }
focus() { focus(): void {
super.focus(); super.focus();
setEditableButtons(); setEditableButtons();
} }
caretToEnd() { caretToEnd(): void {
caretToEnd(this); caretToEnd(this);
} }

View File

@ -155,7 +155,6 @@ export class EditingArea extends HTMLDivElement {
this.editable.hidden = false; this.editable.hidden = false;
} else { } else {
this.editable.hidden = true; this.editable.hidden = true;
console.log("eyo", this.fieldHTML);
this.codable.setup(this.fieldHTML); this.codable.setup(this.fieldHTML);
} }

View File

@ -1,7 +1,9 @@
// Copyright: Ankitects Pty Ltd and contributors // Copyright: Ankitects Pty Ltd and contributors
// License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html // License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
import type { EditingArea } from "./editingArea"; /* eslint
@typescript-eslint/no-non-null-assertion: "off",
*/
export function nodeIsElement(node: Node): node is Element { export function nodeIsElement(node: Node): node is Element {
return node.nodeType === Node.ELEMENT_NODE; return node.nodeType === Node.ELEMENT_NODE;