Damien Elmes
0be31b1b17
Fix excess missed markers in non-Latin text
2023-02-10 15:11:36 +10:00
Damien Elmes
32ec6e06f6
Fix comparison being collapsed when extra characters in input
2023-02-02 19:13:12 +10:00
Damien Elmes
321402a6d0
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
2c952cf3af
Wrap expected text in code block when no answer provided
2023-02-02 18:01:23 +10:00
Damien Elmes
dc0185720a
Fix outer whitespace not being trimmed in type answer
2023-01-23 17:20:35 +10:00
Damien Elmes
ded805b504
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
1be30573e1
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
a39a3b4d34
Update to latest rules_rust and Rust 1.64
2022-09-24 11:12:58 +10:00
Damien Elmes
340da23104
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
ad8c23fc3d
Remove resolved comment
2022-07-22 20:06:45 +10:00
Damien Elmes
09eef8e746
Spelling fix
2022-07-22 19:32:31 +10:00
Damien Elmes
1e0be26b7e
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
