Skip to content

tabs polish: real tab strip, inferred roster, roster + tabs editors - #5

Merged
m4ttheweric merged 14 commits into
mainfrom
tabs-polish
Aug 26, 2026
Merged

tabs polish: real tab strip, inferred roster, roster + tabs editors#5
m4ttheweric merged 14 commits into
mainfrom
tabs-polish

Commits

Commits on Aug 26, 2026