Skip to content

Avoid re-composition if selection is non-empty, or on double-tap#7008

Open
mihailik wants to merge 1 commit intocodemirror:masterfrom mihailik:master

Commits

Commits on Dec 3, 2022