Skip to content

Add configurable color themes#83

Open
mkrueger wants to merge 14 commits into
mainfrom
dev/mkrueger/highlighting
Open

Add configurable color themes#83
mkrueger wants to merge 14 commits into
mainfrom
dev/mkrueger/highlighting

Commits

Commits on May 11, 2026

Commits on May 12, 2026