Fix website

This commit is contained in:
Andras Schmelczer 2025-07-12 11:27:28 +01:00
parent 5a4be8e34f
commit 6342e64df7
No known key found for this signature in database
GPG key ID: FC8F2C3D3D1A718C

View file

@ -1,5 +1,5 @@
import { reconcileWithHistory } from 'reconcile-text'; import { reconcileWithHistory } from 'reconcile-text';
import type { Tokenizer } from 'reconcile-text'; import type { BuiltinTokenizer } from 'reconcile-text';
import './style.scss'; import './style.scss';
const originalTextArea = document.getElementById('original') as HTMLTextAreaElement; const originalTextArea = document.getElementById('original') as HTMLTextAreaElement;
@ -149,9 +149,9 @@ function createCaret(isLeft: boolean): HTMLSpanElement {
return caretSpan; return caretSpan;
} }
function getSelectedTokenizer(): Tokenizer { function getSelectedTokenizer(): BuiltinTokenizer {
const selectedRadio = Array.from(tokenizerRadios).find((radio) => radio.checked); const selectedRadio = Array.from(tokenizerRadios).find((radio) => radio.checked);
return selectedRadio?.value as Tokenizer; return selectedRadio?.value as BuiltinTokenizer;
} }
function resizeTextAreas(): void { function resizeTextAreas(): void {