Skip to content

Fix bug in selection handling in dom renderer#4681

Merged
Tyriar merged 1 commit intoxtermjs:masterfrom
PerBothner:dom-selection
Aug 17, 2023
Merged

Fix bug in selection handling in dom renderer#4681
Tyriar merged 1 commit intoxtermjs:masterfrom
PerBothner:dom-selection

Commits

Commits on Aug 16, 2023