Skip to content

chore: change the condition of showing/hiding toolheader#15

Merged
MaryWylde merged 1 commit intodevfrom
chore/hide-toolheader
Dec 19, 2025
Merged

chore: change the condition of showing/hiding toolheader#15
MaryWylde merged 1 commit intodevfrom
chore/hide-toolheader

Commits

Commits on Dec 19, 2025