Skip to content

Duplicated code lenses when you restart Metals #616

@ckipp01

Description

@ckipp01

Describe the bug

When using the :MetalsRestartMetals command while being in a file that has code lenses you end up with duplicated lenses. For example when doing this in a test file a couple times I end up seeing this:

Screenshot 2023-10-04 at 15 32 27

I'm not sure if this is an issue with Neovim, or why exactly this is happening. One solution could just be that we clear the code lenses when a user uses this command, but I feel like that shouldn't be necessary. I checked and Metals isn't sending duplicates so it's like an old state is still there.

Expected behavior

I'd expect that when the client stops, the code lenses go away.

Operating system

macOS

Version of Metals

1.0.1+73-dfa965e9-SNAPSHOT

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions