History: delete/edit records + built-in subtitle player - #24

Merged

TN019 merged 1 commit into

mainfrom

history-editing-and-player

Jul 26, 2026

Commits on Jul 26, 2026

History management and a built-in player: delete records one-by-one or in batch, edit subtitle files in place, and play the source video with live subtitles.
TN019
committed