Skip to content

[#310] Filter bar polish: short labels, cleanup, overflow safety#311

Merged
realproject7 merged 1 commit intomainfrom
task/310-filter-polish
Mar 18, 2026
Merged

[#310] Filter bar polish: short labels, cleanup, overflow safety#311
realproject7 merged 1 commit intomainfrom
task/310-filter-polish

Commits

Commits on Mar 18, 2026