Skip to content

MiniSearch: duplicate ID error when restarting the dev server (Duplicate for #4251) #4688

Open
@Teraskull

Description

@Teraskull

Describe the bug

Hi,

Opening a duplicate issue here as the original one is locked.
 
Are there any plans for issue #4251? It got automatically closed by the bot but is still an annoying problem.

While the PR in that issue won't handle replacing headers because their anchor id would change, it is still helpful not having to reload the server manually each time after incremental markdown changes when testing the search functionality.

Thanks!

Reproduction

N/A

Expected behavior

N/A

System Info

N/A

Additional context

No response

Validations

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions