Skip to content

Consistent search settings between document search and global search#1623

Merged
zeebok merged 11 commits intomasterfrom
jeremypw/consistent-case-sensitivity
Oct 16, 2025
Merged

Consistent search settings between document search and global search#1623
zeebok merged 11 commits intomasterfrom
jeremypw/consistent-case-sensitivity

Commits

Commits on Jun 30, 2025

Commits on Jul 1, 2025

Commits on Aug 9, 2025

Commits on Oct 16, 2025