Skip to content

Settings: search needs a rework #317

Closed
#331
Closed
Settings: search needs a rework#317
#331

Description

@Maxaubert
Maxaubert
opened on Oct 2, 2026

Max (2026-10-02): the Settings search is pretty bad and needs fixing. Details to be discussed before any work starts.

Context: the search box sits at the top of the redesigned Settings sidebar (#303, PR #312), Ctrl F.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions