Skip to content

Paint the chosen operator with a colour the theme declares - #39

Merged
ww-mw merged 1 commit into
mainfrom
fix-column-filter-tokens
Oct 3, 2026
Merged

ww-mw merged 1 commit into
mainfrom
fix-column-filter-tokens

Commits

Commits on Oct 3, 2026