andras/reconcile
1
0
Fork 0
Code Issues Pull requests 5 Projects Releases Packages Wiki Activity Actions

Improve website's language

Browse source
This commit is contained in:
Andras Schmelczer 2025-07-12 15:30:31 +01:00
parent 99894a7ceb
commit f9217286e7
No known key found for this signature in database
GPG key ID: FC8F2C3D3D1A718C
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
examples/website/src/index.html
View file

@ -79,8 +79,8 @@
>documentation</a >documentation</a
> >
or try editing the text boxes below to see <code>reconcile-text</code> in or try editing the text boxes below to see <code>reconcile-text</code> in
action. Use the tokenisation options below to experiment with different action. Use the tokenisation options to experiment with different approaches —
approaches — the Rust library also supports providing a custom tokeniser. the Rust library also supports providing a custom tokeniser.
</p> </p>
</header> </header>

2
examples/website/src/index.ts
View file

@ -10,7 +10,7 @@ const tokenizerRadios = document.querySelectorAll(
'input[name="tokenizer"]' 'input[name="tokenizer"]'
) as NodeListOf<HTMLInputElement>; ) as NodeListOf<HTMLInputElement>;
const sampleText = `The \`reconcile\` Rust library is embedded on this page as a WASM module and powers these text boxes. Experiment with changing the "Original", "First concurrent edit", and "Second concurrent edit" text boxes to see competing changes get merged in real-time within the "Deconflicted result" box. Here, you will see color-coded tokens marking the origin of each token, including ones that got deleted. The result highly depends on the tokenisation strategy, for example, deciding how casing or whitespace is taken into account.`; const sampleText = `The "reconcile-text" Rust library is embedded on this page as a WASM module and powers these text boxes. Experiment with changing the "Original", "First user's edit", and "Second user's edit" text boxes to see competing changes get merged in real-time within the "Merged result" box. Here, you will see color-coded tokens marking the origin of each token, including ones that got deleted. The result highly depends on the tokenisation strategy, for example, deciding how casing or whitespace is taken into account.`;
async function main(): Promise<void> { async function main(): Promise<void> {
originalTextArea.addEventListener('input', updateMergedText); originalTextArea.addEventListener('input', updateMergedText);