This repository was archived by the owner on Apr 16, 2026. It is now read-only.
Avoid re-composition if selection is non-empty, or on double-tap#7008
Open
mihailik wants to merge 1 commit into
Open
Avoid re-composition if selection is non-empty, or on double-tap#7008mihailik wants to merge 1 commit into
mihailik wants to merge 1 commit into