* Highlight text as TTS plays - attempt 1
* Make highlighting actually work
* Fix to minor version of punctuation issue
* Highlights all applicable text
* fix: filter out punctuation tokens in the client side when highlighing audio tokens
* Highlight selection separate from normal selection
* cleanup: further decouple tts highlighting and token selection, renamed temporarySelection => _highlightedTokens
* fix: don't show token highlights for non-overlay messages
---------
Co-authored-by: ggurdin <46800240+ggurdin@users.noreply.github.com>
Co-authored-by: ggurdin <ggurdin@gmail.com>
* fix: only show space analytics download button on web
* fix: don't close keyboard right after opening lemma meaning text field
* fix: make proportion the number of relevant tokens with completed activities over the number of relevant tokens
* fix(activity scoring): only give points for lemma in meaning activity
* fix: dart formatting
---------
Co-authored-by: ggurdin <ggurdin@gmail.com>
Co-authored-by: ggurdin <46800240+ggurdin@users.noreply.github.com>
* feat(lemma meaning activity): widen distractor range, reduce lemmas where meaning activity required
* feat(lemma meaning activities): make distractor lemmas have same pos
* dev(lemma meaning repo): use local storage instead of in-memory cache
* fix(lemma meaning activity): explicitly prevent the same meanings in distractors
* fix: dart formatting, deleted empty files
---------
Co-authored-by: ggurdin <46800240+ggurdin@users.noreply.github.com>
Co-authored-by: ggurdin <ggurdin@gmail.com>
