Fix errors in caret placement on box open and in annotation browser.
[redakcja.git] / src / redakcja / static / js / lib / diff.js
2023-07-20 Radek CzajkaUndo