Skip to content

Use user accent for selection background#1722

Merged
jeremypw merged 1 commit into
masterfrom
jeremypw/styleschemes/selected
May 24, 2026
Merged

Use user accent for selection background#1722
jeremypw merged 1 commit into
masterfrom
jeremypw/styleschemes/selected

Commits

Commits on May 24, 2026