Skip to content

Improve selected text highlighting#2938

Merged
christophwille merged 2 commits intoicsharpcode:masterfrom Konctantin:better-selection-highlightMar 29, 2023

Commits

Commits on Mar 26, 2023