Skip to content

[WIP] Add toggle for numbers and TOC button to Headerbar#204

Draft
Copilot wants to merge 1 commit into
masterfrom
copilot/toggle-numbers-add-toc-button
Draft

[WIP] Add toggle for numbers and TOC button to Headerbar#204
Copilot wants to merge 1 commit into
masterfrom
copilot/toggle-numbers-add-toc-button

Commits

Commits on May 13, 2026