Skip to content

Bug in Coloring variables by clicking them #15

@arigo

Description

@arigo

Do this: click variable p1, it stays orange; click variable p2, it stays green; click p2 again to remove the color; click p2 again to add green again; now the next color is green as well, instead of being purple.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions