Damien Elmes
804bccfbe7
Fix excess missed markers in non-Latin text
2023-02-10 15:11:36 +10:00
Damien Elmes
fa322988e8
Fix comparison being collapsed when extra characters in input
2023-02-02 19:13:12 +10:00
Damien Elmes
81ad253225
Revert to blanking out missed chars in provided text
...
Quite a few users seem surprised to have missed characters appear in
their input text
2023-02-02 19:13:11 +10:00
Damien Elmes
47707e8042
Wrap expected text in code block when no answer provided
2023-02-02 18:01:23 +10:00
Damien Elmes
f89de8316c
Fix outer whitespace not being trimmed in type answer
2023-01-23 17:20:35 +10:00
Damien Elmes
7216032e82
Switch Rust import style ( #2330 )
...
* Prepare to switch Rust import style
* Run nightly format
Closes #2320
* Clean up a few imports
* Enable comment wrapping
* Wrap comments
2023-01-18 21:39:55 +10:00
RumovZ
5da523a9eb
Replace dissimilar crate with difflib ( #2322 )
...
This also inserts the expected text if it's missing at the very
beginning of the provided text.
2023-01-16 09:49:34 +10:00
Damien Elmes
553cadce56
Update to latest rules_rust and Rust 1.64
2022-09-24 11:12:58 +10:00
Damien Elmes
b01b52359a
Wrap type answer output in code tag; remove extra div
...
This would make more sense as a class on the outer div, but existing
templates reference code#typeans, so avoid breaking things for now.
2022-07-22 20:37:56 +10:00
Damien Elmes
77772e9343
Remove resolved comment
2022-07-22 20:06:45 +10:00
Damien Elmes
c13a250173
Spelling fix
2022-07-22 19:32:31 +10:00
Damien Elmes
41faa3b61b
Partially migrate type answer to backend
...
Partially completes #1068 , and will allow mobile clients to drop
their separate diff-match-patch imports. Does not yet try to handle
case folding or combining-char stripping, and leaves some of the outer
HTML wrapping up to the frontend for now.
The logic for rendering the provided string has changed: missing chars
are now only inserted if they follow a correct section, and the original
text is shown instead of hyphens. This is an experiment, and can be
changed if it's not well received.
2022-07-22 19:28:34 +10:00
