Skip to content

Flickering static errors on escaping selection #1852

@7h3kk1d

Description

@7h3kk1d

In certain contexts when you escape selection with the mouse static errors flicker. They seem to persist when evaluation is disabled.

Minimal reproduction:

[(true, false)]: [(Bool, Bool)]

Select from after the right paren to the right of true then click on the comma.

Screen.Recording.2025-07-31.at.2.37.14.PM.mov

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions