Skip to content

Make terminal text filter be case insensitive by default. #340

Open
Open
Make terminal text filter be case insensitive by default.#340
Assignees
gbmhunter
Labels
enhancement
@gbmhunter

Description

@gbmhunter
gbmhunter
opened on Jun 16, 2025
No description provided.

Metadata

Metadata

Assignees

Labels

enhancement

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions