6f63a6d710
* 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> |
||
|---|---|---|
| .. | ||
| config | ||
| pages | ||
| pangea | ||
| utils | ||
| widgets | ||
| main.dart | ||