Skip to content

Add in-page search #257

Open
Open
Add in-page search#257
Assignees
davep
Labels
EnhancementNew feature or requestPriority: LowOne day, maybe...TODOA thing I'm planning on doing

Description

@davep
davep
opened on Jul 29, 2026

Add a text search within the current page.

Metadata

Metadata

Assignees

Labels

EnhancementNew feature or requestPriority: LowOne day, maybe...TODOA thing I'm planning on doing

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions