Skip to content

Bug in Coloring variables by clicking them #15

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